魚拓のURL：https://megalodon.jp/2024-0128-1748-21/https://math.stackexchange.com:443/questions/4537891/a-logic-with-no-axioms-or-no-inference-rules

理由 （必須）

確認

ご入力内容は「個人情報のため」「わいせつ物のため」といった分類以外公開されませんので、ご安心ください。