陈述，研究者通常会找寻另一个不须假设的解（同样道理，想像一件诱人的事情——欧几理德几何的陈述可以只用中立几何（axioms of neutral geometry）的公理来证明，那就是没有平行公理）。除非是专注研究这个公理，研究者通常不必担心结果要不要选择公理。