令 a：2；b；1； Ax：x被1整除； Bx：x被x整除； Sxy：x＜y； Nx：x是自然数,则
∀x（Nx∧┐b∧（Ax∨Bx）→Sax）
不知道你觉得怎么样,那意思是说“任何一个不是1的自然数,如果它是素数（只能被1或自身整除）都比2大”没问证明，只是想符号化，离散数学的知识，现在搞清楚了。