さあどうかな

人間の認識は複雑で
約70年前に出された河野伊三郎の微積分では
全称命題は特称命題を含むのでいつでも命題を切り替えられる
と考えていたようだし
全称命題から具体的な元(数)を取り出すことができるとしていた

これらは間違いだがこういう歴史を踏み
コンピュータも設計されていると思うので分類は可能だと思われる
しかし問題は上記の間違いを訂正できる人間がいるかどうかだ