0434132人目の素数さん2018/06/27(水) 21:56:41.10ID:4ICaZFXr メタ論理ですよねそんなのはわかります 不完全性定理で使う極大無矛盾な公理系ってやつですね わかりました 今回は負けを認めます