Inter-universal geometry と ABC予想 52

**１３２人目の素数さん** · 2020/05/06(水) 03:11:21.36

IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ
Inter-universal geometry と ABC予想 51
https://rio2016.5ch.net/test/read.cgi/math/1587468367/

**１３２人目の素数さん** · 2020/05/09(土) 16:57:50.01

２．おそらくタオ指摘で削除した部分　【最終版頁68行10】　　←　重要
・Although we shall not discuss in detail here the quite difficult issue of whether or not there actually exist ZFCG-models,
we remark in passing that one may justify the stance of ignoring such issues — at least from the point of view of establishing
the validity of various“final results”that may be formulated in ZFC-models -の後、

・投稿版：by invoking a result of Feferman [cf. [Ffmn],§2.3] concerning the “conservative extensionality” of ZFCG relative to ZFC, i.e.,
roughly speaking, that“any proposition that may be formulated in a ZFC-model and,
moreover, holds in a ZFCG-model infact holds in the original ZFC-model”.
・最終版：by invoking the work of Feferman [cf. [Ffmn]].
Precise statements concerning such issues, however,
lie beyond the scope of the present paper [as well as of the level of expertise of the author!].

3．「言いたかったこと」を言い直した追記　【最終版頁68行15】　　
, with the following proviso: In the following discussion, it should be understood that every set-theoretic formula that appears is “absolute” in the sense
that its validity for a collection of sets contained in some universe V relative to the model of set theory determined by V isequivalent, for any universe W such that V ∈ W ,
to its validity for the same collection of sets relative to the model of set theory determined by W [cf., e.g., [Drk], Chapter 3, Definition 4.

ひどいガセネタだよ。これは。　（怒）

**１３２人目の素数さん** · 2020/05/09(土) 16:58:40.76

素人の「自然」は、見当違いだから無意味

残念な「自然」の例
・平面上で交わらない二直線の距離は一定、と考えるのが自然
・時刻は誰にとっても同じ、と考えるのが自然

こんな言葉で非ユークリッド幾何や相対性理論が否定できるなら苦労しない