0772132人目の素数さん垢版 | 大砲2021/02/28(日) 13:29:01.95ID:dhxnauwz >自然数全体の集合なんてありませんよ?(ゲラゲラ ありますよ? ペアノシステムの条件を満たす集合の存在をZF公理系が保証してますから 言ってること、分かりますかー?