Induktívna definícia je jeden zo spôsobov definovania objektov matematických a logických systémov. Spočíva v tom, že sa uvádzajú: východiskové alebo elementárne objekty systému pravidlá alebo operácie, ktoré umožňujú z daných objektov budovať nové objekty systému.
Takto sa definuje napr. prirodzené číslo v aritmetike. Induktívna definícia má byť úplná, t. j. jej prostriedkami sa majú definovať všetky objekty daného systému a len tieto objekty.
Externé odkazy
Kategória:Matematika Kategória:Logika