Against the tranquility of axioms