Inductie (wiskunde): verschil tussen versies

Naast welgefundeerdheid is het echter ook nog noodzakelijk dat ieder element van de verzameling een ''directe voorganger'' heeft in de partiële ordening. De reden hiervan is technisch, maar het komt erop neer dat als niet ieder element een dergelijke, directe voorganger heeft dat het dan mogelijk is om stellingen te bewijzen die helemaal niet waar zijn door het bewijs een "sprong" te laten maken tussen twee elementen waarvan de "hoogste" geen directe voorganger heeft en zo alle elementen van de verzameling over te slaan waarvoor de stelling niet geldt.