> 実は「アスペクト盲」の状態なのであり
まさに、それは「コンピュータ」って。
てな訳で「形式証明＝客観」なんだよｗ
「アスペクト」の違いを問題にしない。