Formal system はシンプルであるべきだと思いつつも、自分がやっている複雑な推論は認識したがらない・目を向けたくないという性質が人間にはあって、その結果自分が普段使いできるような Formal system を誰も定義しようとしない