＞形式証明は客観的（客観テストの採点方法のように）であるが

それはお前が勝手にそう思っているだけだ。
お前がいくらわめいたところで、客観が存在するわけではない。