>>633
＞nを特定せずしかしそれは個別のnと認識して証明します
なぜ特定せずして個別のｎと認識できるの？妄想するってこと？

それ、精神的にヤバいよ

＞有限性の公理、とは具体的に何？
＞これはどうかな
＞f:A→A:mono → epi

その公理、述語論理上の論理式として表現できる？

サボっちゃダメだよ