Ontology:Q819

1. ZFC set theory 1:(-)1:(-)1

Characteristics in draft

Properties

item type

Z (wiki feature; C (pronounced Category)) 1:(-)1:(-)1

label (en)

ZFC set theory 1:(-)1:(-)1

alias (en)

Zermelo-Fraenkel Choice-axiom set theory (ZFC)

ZFC (set theory)

external identifier

--

sub-case of [Item]

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

case of

field of mathematics

prototype notes

set theory where sets are "computational" and pointers into the set cause a kind of infinite loop bug in the logic

Wavebuilder combinations

[P] (pronounced P:) Wavebuilder (pronounced Wave-builder): forms result [Item]

--

along with [Item]

--

forming from [Item]

--

--

--