公理的なんとかでやると新しい結果が出るの?