数学基礎論・数理論理学　その14

数学基礎論・数理論理学　その14at MATH

数学基礎論・数理論理学　その14 - 暇つぶし2ch542:１３２人目の素数さん
14/02/23 11:55:26.92
>>540

"On Formally Undecidable Propositions of of Principia Mathematica And Related Systems"
by Kurt Goedel

次ページ

続きを表示

1を表示