No creo que esto ponga a prueba nadie se destreza en la defensa del TAC.
Por un lado postulamos el conjunto vacío (1) y postulamos por otro, el conjunto potencia (2).
P: Pertenencia
No es que solo se necesite postular esto, pero es donde se centra la cuestión.
Si tenemos un conjunto A={1,2,3}; el conjunto potencia estará definido por:
{}, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}
¿Por qué el conjunto vacío es parte del conjunto potencia? Debemos pensar que a pesar de ser el conjunto vacío, es “un” conjunto, o sea es "algo"; pero si esto es así ¿no deberíamos pensar que el conjunto vacío pertenece a A? Y si esto es así, qué pasa con la ecuación:
Sigamos las definiciones y llegaremos a buen puerto (o no) pero no cabe en la cabeza que a estas cosas se las llame axiomas, con lo bonita que es esa palabra.
Citar
Iniciado por mat
