数学基礎論・数理論理学のスレッド　その7

数学基礎論・数理論理学のスレッド　その7at MATH

数学基礎論・数理論理学のスレッド　その7 - 暇つぶし2ch66:１３２人目の素数さん
11/01/01 16:16:48
>>65が流れと関係あるのかどうかわからんね。
完全性定理への選択公理の使用有無は>>63にもう一度聞きたいな。