title: Insieme induttivo (logica)
text: # Insieme induttivo (logica)
  
  In logica matematica, e più precisamente in teoria degli insiemi, un insieme $X$ si dice induttivo oppure apodittico se soddisfa l'assioma dell'infinito
  
  * $\varnothing \in X;$
  * $x\in X\Rightarrow x\cup \{x\}\in X.$
  
  In altre parole, in base alla definizione di successore per la costruzione standard (dovuta a John von Neumann) dei numeri naturali, se $X$ è un tale insieme allora $X$ contiene l'insieme dei numeri naturali $\mathbb {N}$ ovvero si ha infatti che $X$ contiene come elemento l'insieme vuoto $0$ ed essendo chiuso per successore si ha che contiene anche $1,2,\ldots$ come elementi.
  
  ## Esistenza degli insiemi induttivi
  
  Il concetto di insieme induttivo ha un ruolo fondamentale nella teoria degli insiemi di Zermelo-Fraenkel; infatti l'assioma dell'infinito, necessario per garantire appunto l'esistenza di insiemi infiniti in ogni modello della teoria, corrisponde esattamente alla seguente proposizione:
  
  Esiste un insieme induttivo.
  
  Questo assioma, oltre a garantire, apoditticamente, che l'insieme $\mathbb {N} =\{0,1,2,\ldots \}$ dei numeri naturali esiste, permette di dimostrare che $\mathbb {N}$ è un modello di Peano. La costruzione standard dei numeri naturali all'interno della ZF è espressa da:
  
  Il più piccolo insieme induttivo.
  
  Osserviamo che, nonostante gli insiemi induttivi formino una classe propria (ossia l'insieme degli insiemi induttivi non esista), questa è una definizione valida; sappiamo infatti, dall'assioma appena ricordato, che un tale insieme apodittico o induttivo $X$ esiste. Quindi $\mathbb {N}$ può essere determinato mediante l'intersezione come segue
  
      $\mathbb {N} =\bigcap _{X'\in A_{X}}X',$
  
  dove $A_{X}=\{X'\subseteq X\mid X'\ {\text{induttivo}}\}$ è la famiglia degli insiemi induttivi contenuti in $X.$ Questa definizione di $\mathbb {N}$ è indipendente dalla scelta di $X.$
  
  ## Etimologia
  
  Induttivo viene, come si può facilmente intuire, da induzione. Il principio di induzione su $\mathbb {N}$ infatti non è altro che la seguente affermazione:
  
  Se $S\subseteq \mathbb {N}$ è induttivo, allora $S=\mathbb {N} .$
  
  