Text this: Axiomatización de clases y conjunto en la matemática en la programación orientada a objetos