# Set Theory

> What objects can be constructed?

Record: `reason:math-domain-set-theory`
Kind: math-domain
Canonical: https://banes-lab.com/ontology/reasoning#reason-math-domain-set-theory

## referenced-by

- [Set Theory](https://banes-lab.com/records/reason/math-type-set-theory.md)
