Chápu (a intuitivně to narosto dává smysl), že množina přirozených čísel je nejmenší nekonečná množina (Pro každou nekonečnou množinu M lze vytvořit prosté zobrazení N na M). Ale nepochopil jsem, jak by to šlo dokázat z axiomů. Může někdo pomoct? Dík.
Offline