insieme induttivo

In logica matematica, e più precisamente in teoria degli insiemi, un insieme si dice induttivo oppure apodittico se soddisfa l'assioma dell'infinito * * In altre parole, in base alla definizione di successore per la costruzione standard (dovuta a John von Neumann) dei numeri naturali, se è un tale insieme allora contiene l'insieme dei numeri naturali ovvero si ha infatti che contiene come elemento l'insieme vuoto ed essendo chiuso per successore si ha che contiene anche come elementi.