Users that searched for mathematics axioms and found planetmath.org