information about Axiom of choice field