完全性の証明に使われた。他に純粋算術の無矛盾性証明などの業績がある。「すべての」を意味する記号∀を使い始めたのもゲンツェンである。パウル・ベルナイスによって出版された。パウル・ベルナイスによって出版された。Projectでの紹介。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。