Template:Axiom of choice/Metadata