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.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).