Al parecer en la teoría de conjuntos, más que en cualquier otra rama de las matemáticas, es necesario contar con un conjunto determinado de símbolos mediante los cuales puedan expresarse cuales quiera enunciados a cerca de la materia.