Constructibility

In mathematics, there are several notions of constructibility:

• A real number that may be constructed with straightedge and compass; see Constructible number.
• A theorem that may be proved by constructivist logic; see Mathematical constructivism.
• A set in Kurt Gödel's universe L, which may be constructed by transfinite application of certain constructions in set theory; see Constructible universe.