巨大数探索スレッド14at MATH巨大数探索スレッド14 - 暇つぶし2ch255:132人目の素数さん 18/08/27 15:40:25.49 y+iuxcGp.net>>246 帰納的公理化が可能だったり不可能だったりするのは文字通り公理系で、理論(=閉論理式の集合)ではなくね それと宇宙っていうのはZF公理系の議論領域のことで、形式言語というメタレベルでは使わなくね 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch