Tautologías

Definición de cuanificadores localizados.

Propiedades de los cuantificadores

Propiedades entre cuantificadores y operadortes lógicos

A1: Axioma de extensión.

A2: Axioma del conjunto vacío

A3: Esquema axiomático de separación

A4: Axioma del conjunto binario

A5: Axioma de la unión

A6: Axioma de conjunto de partes

Definición 1: Subconjunto.

Definición 2: producto cartesiano

Definición 3: función

Definición 4: función inyectiva

Definición 5: función sobreyectiva

Definición 6: imagen de un conjunto

Definición 7: imagen inversa de un conjunto

Teorema 1: Igualdad de conjuntos.

Teorema 2: igualdad de parejas ordenada