Nuestro punto de partida son los conceptos primitivos de conjunto, pertenencia a un conjunto y elemento de un conjunto.