>要するに公理を設定したからといって
>なんもかんも真偽が決まるというのは
>素人🐒の妄想にすぎない
数理論理学はヒルベルトプログラムが素人🐒の妄想だったことを立証しちゃいましたとさ