メタ論理ですよねそんなのはわかります

不完全性定理で使う極大無矛盾な公理系ってやつですね

わかりました
今回は負けを認めます