狗蛋
幼苗
共回答了20个问题采纳率:75% 举报
定义、公设、公理等其实没有本质区别,都是给一个(或一组)术语规定一些性质,作为推理依据
当然,定义从形式上看略微有点不同,粗略地讲定义当中只出现一个新的术语,并且把描述这个术语的充要条件全都表达完了,而一般的公理或公设经常成组地出现并且为同一组术语规定某些联合性质,从这个意义上讲定义要稍微简单一些
另外,几何原本虽然是很精彩的教材,但是还是有很多逻辑缺陷(主要是逻辑跳跃),如果想更好地了解欧氏几何,可以去看一下Hilbert几何公理体系
1年前
追问
2
举报
狗蛋
D. Hilbert, The fundations of geometry