The identity relation, axiomatic set theory as our foundation by definition from principal mathematica von neumann ordinals ex. 0 = { }, 1 = {1}, 2={0,1} serves as the naturals numbers are defined by repeated induction iteratively applying the successor function.
Start with a set whose contents are empty which exists mind you by the axiom of infinity.