プリンキピア・マテマティカの公理系とは？
ぷりんきぴあ・まてまてぃかのこうりけい
ラッセルとホワイトヘッドが数学を論理から導こうとした公理体系。
使い方・例文
ゲーデルはプリンキピア・マテマティカの公理系が自分自身の無矛盾性を証明できないことを示した。
この用語をシェア
最終更新:
ぷりんきぴあ・まてまてぃかのこうりけい
ラッセルとホワイトヘッドが数学を論理から導こうとした公理体系。
最終更新: