A: Axiom P: Postulate C: Corollary T: Theorem PP: Pseudo-proposition A1：公理系统是近代自然科学的必要条件。 P-1：拼音文字的字母系统，形成了简洁的符号系统。 P-2：象形汉字的中文系统，没有形成了简洁的符号系统。 P1: 理论的形式化系统是公理系统的必要条件。 P2: 快速高效的逻辑推导是理论的形式化系统的必要条件。 P3: 简洁的符号系统是形成快速高效的逻辑推导的必要条件。 P4: 组成拼音文字的字母系统，比组成象形汉字的偏旁部首系统简洁。 PP：象形汉字的结构复杂性阻碍了科学在中国产生。 虽然事实上象形文字的汉字系统没有发展出简洁的推理符号系统，但这完全不能表明使用汉字会阻碍展出简单符号系统的“能力”。PP要成立必须依赖一个逻辑条件：“发展出简单的符号系统的必要条件是使用字母拼音文字”，而这一条，不在“公理体系之内”。