Nedan visas hur den tomma mängdens axiom kan utryckas med predikatlogikens formella språk. Hur kan axiomet formuleras med ord?
Vi stöttar