Conjuntos, relaciones y pruebas matemáticas