The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible.
Constructibility in this sense refers only to ideal constructions with ideal tools.
Antonyms