tags | aliases | |||
---|---|---|---|---|
|
|
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)
[[@aczelNonwellfoundedSets1988]]