09/05/22 22:59:04 PrvxksLW
>>311
ゲーデル第2不完全性定理
自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない
ここでは規定事項を含む現在の時空間を公理系として例えて言ってるんじゃないかな
09/05/22 22:59:04 PrvxksLW
>>311
ゲーデル第2不完全性定理
自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない
ここでは規定事項を含む現在の時空間を公理系として例えて言ってるんじゃないかな