公理是如何选择的