پاسخ : تعریف مجموعه اعداد طبیعی
اول دو تا تعریف:
1-مجموعه یکدار:
مجموعه ای است که شامل عدد 1 باشد.
2-مجموعه موروثی:
مجموعه A مجموعه ای موروثی است در صورتی که n متعلق به A باشد آنگاه n+1 هم متعلق به A هست.
حالا تعریف مجموعه اعداد طبیعی:
کوچکترین مجموعه یکدار و موروثی را اعداد طبیعی می نامند!
منبع