mathworld subject axioms