The Axiom of Constructibility

by Keith J Devlin