Die heutige Mathematik hat die Mengenlehre als Grundlage. Mit Hilfe von Mengen lassen sich die natürlichen Zahlen konstruieren bzw. definieren (siehe https://de.wikipedia.org/wiki/Nat%C3%BCrliche_Zahl#Von_Neumanns_Modell_der_nat%C3%BCrlichen_Zahlen ).
Dabei wird auch die 0 definiert, womit sie existert.