>>640
>＞nを特定せずしかしそれは個別のnと認識して証明します
>なぜ特定せずして個別のｎと認識できるの？妄想するってこと？
>
>それ、精神的にヤバいよ
面倒くさい人なんですね
>＞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)
じゃダメかな？