Axiomas
El primer axioma relaciona los objetos de un conjunto por medio de la relación de igualdad, para lo que se presenta las propiedades reflexiva, simétrica y transitiva; además se presenta la propiedad de sustitución, la cual indica que si dos objetos son iguales entonces al ejemplificar la función proposicional, las dos proposiciones resultantes son equivalentes.
Axioma 1.Relación entre elementos Para los elementos de un conjunto A se verifica
-
Reflexiva: Si x es un elemento entonces x = x.
-
Simétrica: Si x, y son elementos tales que x = y entonces y = x.
-
Transitiva: Si x,y,z son elementos tales que x = y, y = z entonces x = z. iv. Sustitución: Si x,y son elementos tales que x = y y Rx es una función proposicional cuya variable es x entonces (a/x) Rx ←→ (b/x) Rx.
Axioma 2. Axioma de Existencia
Existe al menos un conjunto.
Axioma 3. Axioma de Objeto Si A es un conjunto y a ∈ A entonces a no pertenede a a.