Ontology:Q820

1. non-well-formed set theory 1:(-)1:(-)1

Characteristics in draft

Properties

item type

Z0 1:(-)1:(-)1

label (en)

non-well-formed set theory 1:(-)1:(-)1

alias (en)

non-founded set theory

external identifier

--

sub-case of [Item]

set theory (top-level category) 1:(-)1:(-)1

case of

field of mathematics

Wavebuilder combinations

[P] (pronounced [P]) Wavebuilder (pronounced Wavebuilder): forms result [Item]

--

along with [Item]

--

forming from [Item]

--

--

--

Usage notes

There is more than one possible non-well-formed set theory, hence the item dimension being level 0. The definition of each axiom that sets up any particular non-well-formed set theory can get rather arcane, so it may take a while for all the particular named distinguishable set theories that belong to this conceptual category to be properly coded. In the mean time, use the anti-foundation axioms that have been coded to distinguish and define any particular concept within non-well-founded set theories.