検索
アート
地図
検索
オプション
言語:
日本語のみ
英語のみ
すべて
0 件中 1ページ目 ( 0.012 秒)
ゲルハルト・ゲンツェン
その定理自身と公理より複雑なものは現れないようにできることを示し、 LK の完全性の証明に使われた。 他に純粋算術の無矛盾性証明などの業績がある。 「すべての」を意味する記号∀を使い始めたのも
ゲン
ツェン
である。 著作 Template:Cite journal Template:Cite journal Template:Cite journal
記事を読む
YOS INDEX について
利用規約
コンタクト