Solve the five classical_axioms problems