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

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

数学基礎論・数理論理学のスレッド　その7 - 暇つぶし2ch584:１３２人目の素数さん
11/04/30 19:56:17.91
多分>>579は現代数理論理学序説(P56)に載っている奴だと思う。
これと>>582は同値だけど、こっちの方が良く見かける。