[[!redirects axioms]] < [[nlab:axiom]] category: redirected to nlab