Set Theory
Kind: math-domain
Record: reasoning:math-domain-set-theory
Canonical: Reasoning
What objects can be constructed?
Listed in Reasoning records, after Logic and before Combinatorics.
Kind: math-domain
Record: reasoning:math-domain-set-theory
Canonical: Reasoning
What objects can be constructed?
Listed in Reasoning records, after Logic and before Combinatorics.