Skip to content

Latest commit

 

History

History
14 lines (12 loc) · 394 Bytes

Atoms.md

File metadata and controls

14 lines (12 loc) · 394 Bytes
tags aliases
math/set-theory
atoms
atom

Atoms are objects that are not sets and are not made up of sets in any way, so that they have no set theoretical structure. They can however be used in the formation of sets.

(see[[@barwiseAdmissibleSetsStructures1975]] for a discussion of the formalisation of set theory with atoms)


References

[[@aczelNonwellfoundedSets1988]]