（a）传统形式逻辑三段论由一类事物的不证自明的全称判断作为前提，可以推断这类事物中部分判断为真，那么这个全称判断就是公理。

如“有生必有死”，就属于这种判断。（b）在欧几里得几何系统中，下面所述的是几何系统中的部分公理：

① 等于同量的量彼此相等。

②等量加等量，其和相等。

③ 等量减等量，其差相等。

④ 彼此能重合的物体是全等的。以下是常用的等量公理的代数表达：

①如果a=b，那么a+c=b+c。

②如果a=b，那么a－c=b－c。

③如果a=b，且c≠0，那么ac=bc。

④如果a=b，且c≠0，那么a/c=b/c。

⑤如果a=b，b=c，那么a=c。