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

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

数学基礎論・数理論理学　その14 - 暇つぶし2ch530:１３２人目の素数さん
14/02/20 18:50:13.77
不完全性定理の証明の中でP&(P⊃Q)⊃Qが使われていたら、どうまずいのだ？
そんなの、数学の中では普通に使われていると思うが。