Text this: The axiom of constructibility: a guide for the Mathematician