念のために言うと、アリストテレスは今や数学の論文全体を自己形式化しています