Logica matematica/Insiemi: differenze tra le versioni

Le esposizioni della logica differiscono riguardo la quantità di '''teoria degli insiemi''' che usano.

Alcune di esse fanno pesante uso di tale teoria, ma benché la maggior parte di tali esposizioni non ne sia pesantemente influenzata, è quasi impossibile non incontrarla almeno in minima parte.

 

: <math>x \notin y\,\!</math>