目前,对于经典数学的逻辑基础,很多学者持有不同的意见,主要有两个分支:一部分学者认为经典数学的逻辑基础为一阶逻辑,还有一部分学者认为经典数学的逻辑基础是二阶逻辑。这两种观点之间没有得到统一。经典数学的逻辑基础不仅与一阶逻辑有关,同时也离不开二阶逻辑,一阶逻辑和二阶逻辑作为经典数学的逻辑基础不存在矛盾性。
科研之友
微信
新浪微博
Facebook
分享链接
