¿Cómo anotaron los matemáticos el conjunto vacío antes de ∅∅\varnada?

George Boole introdujo el concepto de conjunto vacío, o "nada", como él lo llamó, como complemento del "universo" en su Análisis matemático de la lógica (1847). Sus anotaciones para ellos eran algo aburridas,$0$y$1$respectivamente. Cantor escribió en 1880 "por la ausencia de puntos elegimos la letra$O$". Frege, el fundador de la lógica matemática, interpretó la "clase nula" como una extensión del concepto "no idéntico a sí mismo" en lugar de una colección de objetos, y utilizó$\{\}$para ello. peano usado$\Lambda$tanto para clase nula como para "falso" en su axiomatización de la aritmética en 1889, pero Zermelo axiomatizando la teoría de conjuntos en 1908 volvió a Boole$0$, y lo mismo hizo Hausdorff en su influyente libro Grundzuge der Mengenlehre (1914). Hausdorff fue el primero en usar "conjunto vacío" en su significado moderno puramente extensional, antes de él siempre hubo un aire de "clase nula" intensional, e incluso Zermelo estipula la extensionalidad como una suposición separada. Véase El conjunto vacío, el singleton y el par ordenado de Kanamori .

El símbolo moderno$\emptyset$o$\varnothing$De hecho, fue introducido en 1939 por Andre Weil y obtuvo una amplia aceptación después de su uso en los volúmenes de Bourbaki.