Ontology:Q820: Difference between revisions
copy fake Item from Ontology:Q800 |
Usage notes |
||
| Line 16: | Line 16: | ||
</dl> | </dl> | ||
== Wavebuilder combinations == | |||
<dl class="wikitable hue data_wavebuild"> | <dl class="wikitable hue data_wavebuild"> | ||
{{WaveBuildNone| -- | -- }} <!-- en: WITH ?? PRODUCES ?? --> | {{WaveBuildNone| -- | -- }} <!-- en: WITH ?? PRODUCES ?? --> | ||
</dl> | </dl> | ||
== 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. | |||
[[Category:Set theory ontology]] | [[Category:Set theory ontology]] | ||
Latest revision as of 02:58, 5 June 2025
Characteristics in draft[edit]
Properties[edit]
- label (en)
- 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[edit]
- pronounced [P] pronounced Wavebuilder: forms result [Item]
- --
- along with [Item]
- --
Usage notes[edit]
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.