>>649
>面倒くさい人なんですね
数学やってる人はみんな面倒くさいよね

>>>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の範囲は?