>自然数全体の集合なんてありませんよ?(ゲラゲラ
ありますよ?
ペアノシステムの条件を満たす集合の存在をZF公理系が保証してますから

言ってること、分かりますかー?