A '''naiv halmazelmélet''' abból indul kialapfeltevése, hogy ha <math>T</math> valamilyen tulajdonság, akkor gondolhatunk mindazon dolgok összességére, melyekre a <math>T</math> tulajdonság teljesül. Ezt az összességet a <math>T</math> tulajdonság ''igazságtartományának'' nevezzük.
