令 a：2；b；1； Ax：x被1整除； Bx：x被x整除； Sxy：x＜y； Nx：x是自然數(shù),則
∀x（Nx∧┐b∧（Ax∨Bx）→Sax）
不知道你覺得怎么樣,那意思是說“任何一個不是1的自然數(shù),如果它是素數(shù)（只能被1或自身整除）都比2大”沒問證明，只是想符號化，離散數(shù)學的知識，現(xiàn)在搞清楚了。