>>125
では証明が無くても十分に精密科学に役に立っている
理論的命題の例を挙げてください