2大于1是公理吗?