Éstudio formal de proposiciones, predicados, "First Order Logic". Presentación axiómatica de la teoría de Conjuntos como en Halmos "Naive Set Theory"