[過去ログ] Inter-universal geometry と ABC予想 33 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
221(1): 2018/10/16(火)02:43 ID:GfoqqVUe(1/2) AAS
>>203
検索したらこんなのがありました
外部リンク:en.wikipedia.org
222: 2018/10/16(火)03:05 ID:EKov27CT(1) AAS
>>221
>外部リンク:en.wikipedia.org
おお、これすごい!
こんな定理あるんや。
基礎論かじったくらいしかないけど
Thus it is not possible to use forcing to change the truth value of arithmetical sentences,
as forcing does not change the ordinals of the model to which it is applied.
省4
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s