clairedd (clairedd)

几何列出了某些概念，如“飞机”，“点”和“直线”，是我们能够副或多或少明确思路，某些（公理）简单的命题，在这些思想美德，我们倾向于接受“真的。”然后，在一个逻辑进程的基础，其理由我们觉得自己不得不承认，所有剩余的命题显示遵循这些公理，即它们被证明。