аксиома математической индукции

• princip matematické indukce