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

┌∩┐(◣_◢)┌∩┐
上に書き込みにあるように
鶏のようなlofさんの型理論の断片の中で数学も論理も動きます＾＾；
もち実数論も巨大基数でも遊べます。
logさんの理論はλ-Cubeの中に埋め込まれ、
λ-CubeはHyper-λ-Cubeの中に埋め込まれます。
Hyper-λ-Cubeは型理論に総括され、
バベルの図書館に保管されています。
これが世界の実体です。