[過去ログ] Inter-universal geometry とABC 予想57 
 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
961
(3): 06/14(土)15:56 ID:pmXx3B9i(1/3) AAS
>ZFCには数も空間も存在しませんけど?
ZFCそのものには無くてもZFC上で構成できる

>存在しないから追加の公理は自由に選べる
公理を追加したらZFCではなくなる
ペアノの公理とか実数の公理とかは公理という名の定義
962: 06/14(土)16:19 AAS
>>961
ZFC上で構成できるから好きに選べる
物理法則と関係なくな?

しかし計算複雑性理論は物理法則と無関係に構成することが不可能
低学歴丸出しすぎる
963
(1): 06/14(土)16:20 AAS
>>961
公理という名の公理だよ
ZFCから導けないんだから定理ではあり得ない
964
(1): 06/14(土)16:43 AAS
>>961
定理なら証明しろよ
ZFCから導けよ?

公理の意味すら知らんアホが吠えんなや
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.033s