- 711 名前： mailto:sage [2022/01/03(月) 08:26:00.64 .net]
- >>655
>§1.2 IUキカによる「解消」(resolition)：
>一言でいうと、宇宙(universe)の拡大を使ってラベルを貼る。
> a4∈・・・
> ||
> a3∈{a3,b3}
> ||
> a2∈{a2,b2}
> ||
>a1∈{a1,b1}
>そして、aiたち→a,biたち→b,
>と同一視する
> ||
>quotientを作る。
>cf. a∈a→ ○↑ ループ
そもそもa1∈{a1,b1}とか言ってる時点で
基礎の公理に反していることに気づかんのか？ 望月新一君は
こんなこと、学部生、いや、大学１年生でも気づくぞ（呆）
