[過去ログ] Inter-universal geometry と ABC予想 50 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
162
(1): 2020/04/16(木)15:24 ID:Vy3U9nRb(1) AAS
>>160
>虚数を定義して複素数を使って実数公理系の定理を証明していいんですか?

体の言語において、実数は複素数から解釈可能ではない
つまり、複素数体Cにおいて実数体Rのコピーを定義することさえできないので、実数の定理を証明することもできないはず
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.025s