See:
- Constructible number for real numbers that may be constructed with straightedge and compass;
- Mathematical constructivism for mathematical objects whose existence and uniqueness may be proved by constructivist logic;
- Constructible universe for Kurt Gödel's universe L of sets that may be constructed by transfinite application of the axioms of set theory.