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

>>655
>＞＞＞f:A→A:mono → epi
>＞＞その公理、述語論理上の論理式として表現できる？
>＞∀A.∀f:A→A. (∀x,y∈A. (f(x)=f(y))→x=y) → ∀x∈A.∃y∈A.f(y)=x)
>＞じゃダメかな？
>
>∀Aの範囲は？
設定しないんじゃ無いの？あるいはすべての対象？
モデルを考える時はそのモデルの元に限定されるんでしょ