generated at
2/12/2025, 10:47:23 PM
矛盾が証明されないことを証明することは出来ない
\lnot\Box\lnot\Box\bot