巨大数探索スレッド14

巨大数探索スレッド14at MATH

巨大数探索スレッド14 - 暇つぶし2ch255:１３２人目の素数さん
18/08/27 15:40:25.49 y+iuxcGp.net
>>246
帰納的公理化が可能だったり不可能だったりするのは文字通り公理系で、理論(=閉論理式の集合)ではなくね
それと宇宙っていうのはZF公理系の議論領域のことで、形式言語というメタレベルでは使わなくね

次ページ

続きを表示

1を表示