The top documents tagged [typical axioms]