私の論文は読めば簡単な内容で、公理などに関わる内容ではないですし
定義も基本的なものなので、既存の数学に対して何の変更もありません。
他の人の定理は不等式は明示していますし、命題は、条件式として必要な
ものは採番をしてます。補題は命題に含まれるものであり、特に明示する
必要はないと思います。