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

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

数学基礎論・数理論理学　その11 - 暇つぶし2ch300:１３２人目の素数さん
12/01/15 01:13:40.04
いくつかシツモソ
＞この上にメレオロジーを定義してクラスClを実現する
クラスCIってなんですか？
＞実際にはGBの断片＋α
どういう断片ですか？αは具体的には？