Comenzaremos exponiendo brevemente y de una manera formal (aunque no del todo rigurosa) la Axiomática de Zermelo-Fraenkel.