>>946
定理証明システムという名のソフトウェアは
何で書かれているのかが問題となるようなものなんですか？
そんなことは無いでしょう。