五千年(敝帚自珍)

主题:【原创】公理,定理与信仰体系 -- 瘦形胖子

共:💬31 🌺29
全看分页树展 · 主题 跟帖
家园 花一个支持。

公理不是唯一的,如“平行线永不相交”和“平行线交于无穷远”是等价的。

一个逻辑体系关键是公理的数目,而不在公理的选择。如一个体系需要5个公理,那么那些被定为公理,那些被定义为定理,完全是习惯和方便。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河