A: Axiom P: Postulate C: Corollary T: Theorem PP: Pseudo-proposition A1：公理系統是近代自然科學的必要條件。 P-1：拼音文字的字母系統，形成了簡潔的符號系統。 P-2：象形漢字的中文系統，沒有形成了簡潔的符號系統。 P1: 理論的形式化系統是公理系統的必要條件。 P2: 快速高效的邏輯推導是理論的形式化系統的必要條件。 P3: 簡潔的符號系統是形成快速高效的邏輯推導的必要條件。 P4: 組成拼音文字的字母系統，比組成象形漢字的偏旁部首系統簡潔。 PP：象形漢字的結構複雜性阻礙了科學在中國產生。 雖然事實上象形文字的漢字系統沒有發展出簡潔的推理符號系統，但這完全不能表明使用漢字會阻礙展出簡單符號系統的“能力”。PP要成立必須依賴一個邏輯條件：“發展出簡單的符號系統的必要條件是使用字母拼音文字”，而這一條，不在“公理體系之內”。