Lista de teorias de primeira ordem: diferenças entre revisões

Para evitar a inconsistência da teoria ingénua dos conjuntos, os axiomas usualmente adaptados para para a teoria dos conjuntos são os de Zermelo-Fraenkel. Mantém-se o axioma da extensionalidade mas o axioma da compreensão é substituido por vários outros, que evitam a possibilidade de referência a conjuntos tão grandes como o conjunto de todos os conjuntos.