关于逻辑学第五公理

第五公理：
1/传统逻辑仅有四律：1同一律2矛盾律3排中律4充足理由律，无第五公理。
2/欧几里得几何学存在第五公设（平行公设）：原始表述为“若一条直线与另外两条直线相交，且在同一侧的两个内角之和小于两直角之和，则这两条直线无限延长后会在该侧相交”，等价于“过直线外一点，有且仅有一条直线与已知直线平行”。
3/皮亚诺算术定律存在第五公理（归纳公理）：核心内容是“若集合S是自然数集N的子集，满足0∈S，且当n∈S时其后继数n'=n+1也属于S，则可推导出S=N”，此是数学归纳法的逻辑基础。

4/何新PEPC系统提出新逻辑学第五公理，对应于PEPC系统的四律：
一、类族同一性公理
二、、演化矛盾性公理
三、对立统一性公理
四、幂否定并类公理
五、对立模态兼容性公理