Axiom of constructibility

ID: axiom-of-constructibility

New to topics? Read the docs here!