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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
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.027s