Inter-universal geometry と ABC予想 (応援スレ) 45

Inter-universal geometry と ABC予想 (応援スレ) 45at MATH

Inter-universal geometry と ABC予想 (応援スレ) 45 - 暇つぶし2ch451:IUT応援団　団員
20/05/10 13:13:09.00 vZYbiwt9.net
>>412
y = S(x) ⇔ ∀z(z ∈ y ←→ z ∈ x ∨ z = x)
は、分出公理図式は使ってなかった
ということで上記の式で、Ψをz=xとする　というのも削除
とはいえ、それ以外は概ね問題ないな

次ページ

続きを表示

1を表示