「論理は古典述語論理」って根拠はなんだw?
数学ってそう決まっているのか?