知ってるってのと証明するってのは違うからな

用語が違う　数学上の公理の妥当性に関して、現在有益とされている数式上においてこの公理系のほうが他の公理系よりも妥当性が高いことを数学上確認したというのがよりマシな言い...