定義：

（一）自因：當(dāng)自己是自己的原因或結(jié)果時(shí)的自己

（二）無(wú)限：只可能有一個(gè)

（三）有限：不是無(wú)限

（四）實(shí)體：無(wú)限的存在

（五）事物：有限的存在

（六）屬性：存在的性質(zhì)

（七）自由：自己決定自己

公理：

（一）一存在在自身內(nèi)部。

（二）存在只能通過(guò)自身而被認(rèn)識(shí)。

（三）任何原因都有結(jié)果，任何結(jié)果都有原因。

（四）任何原因或結(jié)果自明。

（五）如果一存在與另一存在沒(méi)有共同的屬性，那么這個(gè)存在不能借那個(gè)存在而存在，換句話說(shuō)，那個(gè)存在不包含這個(gè)存在。

（六）真命題自明或者被其他真命題證明。

（七）存在（名詞）存在（動(dòng)詞）。

命題一 ?實(shí)體與事物并列。

證明 ?因?yàn)楣硪缓凸矶?，所以一存在在自身?nèi)部，存在只能通過(guò)自身而被認(rèn)識(shí)。因?yàn)槎x四和定義五，所以實(shí)體是存在，事物也是存在。所以實(shí)體與事物并列。

命題二 ?存在是自因。

證明 ?因?yàn)槎x一和公理二，所以存在是自因。

命題三 ?一存在與另一存在沒(méi)有共同的屬性。

證明 ?因?yàn)楣硪缓凸矶?，所以一存在在自身?nèi)部，存在只能通過(guò)自身而被認(rèn)識(shí)，即一存在與另一存在沒(méi)有共同的屬性。

命題四 ?一存在不能借另一存在而存在，即一存在不包含另一存在。

證明 ?因?yàn)槊}三和公理五，所以一存在不能借另一存在而存在，即一存在不包含另一存在。

命題五 ?原因或結(jié)果只能自明，沒(méi)有其他認(rèn)識(shí)方法。

證明 ?因?yàn)槊}四和公理四，所以原因或結(jié)果只能自明，沒(méi)有其他認(rèn)識(shí)方法。

命題六 ?一存在與另一存在的區(qū)別在于該存在內(nèi)部。

證明 ?因?yàn)楣硪缓凸矶砸淮嬖谠谧陨韮?nèi)部，存在只能通過(guò)自身而被認(rèn)識(shí)，即一存在與另一存在的區(qū)別在于該存在內(nèi)部。

命題七 ?任何原因可能導(dǎo)致任何結(jié)果。

證明 ?因?yàn)楣矶凸砣?，所以任何原因可能?dǎo)致任何結(jié)果。

命題八 ?一存在的每一個(gè)屬性都是通過(guò)該屬性自身而被認(rèn)識(shí)的。

證明 ?因?yàn)槎x六和公理二，所以一存在的每一個(gè)屬性都是通過(guò)該屬性自身而被認(rèn)識(shí)的。

命題九 ?實(shí)體具有無(wú)限多的屬性。

證明 ?因?yàn)槎x四和公理七，所以實(shí)體具有無(wú)限多的屬性。

命題十 ?存在在實(shí)體的內(nèi)部。

證明 ?因?yàn)槎x四和定義五，所以存在在實(shí)體的內(nèi)部。

命題十一 ?存在不可分割。

證明 ?因?yàn)楣硪缓凸矶?，所以一存在在自身?nèi)部，存在只能通過(guò)自身而被認(rèn)識(shí)，即存在不可分割。

命題十二 ?存在是自由的。

證明 ?因?yàn)槎x七和公理二，所以存在是自由的。

命題十三 ?實(shí)體是不變的。

證明 ?因?yàn)槎x二和定義四，所以實(shí)體是不變的。

命題十四 ?實(shí)體的屬性是事物。

證明 ?因?yàn)槎x五和定義六，所以實(shí)體的屬性是事物。

命題十五 ?一事物的屬性是其他事物。

證明 ?因?yàn)槎x五和定義六，所以一事物的屬性是其他事物。

命題十六 ?存在有無(wú)數(shù)個(gè)。

證明 ?因?yàn)槎x四和定義五，所以存在有無(wú)數(shù)個(gè)。

命題十七 ?一事物在另一事物內(nèi)部。

證明 ?因?yàn)槎x三和定義五，所以一事物在另一事物內(nèi)部。

命題十八? 如果事物存在，則實(shí)體存在。

證明? 因?yàn)槎x四和定義五，所以如果事物存在，則實(shí)體存在。