Spinoza "Ētika"

VII. Par brīvu es saucu tādu lietu, kuras eksistēšanu nosaka vienīgi tā nepieciešamība, kas izriet no pašas lietas iedabas, un kura tikai pati sevi determinē darbībai. Par nepieciešamu jeb piespiedu lietu sauc tādu, kuras eksistēšanu un darbošanos drīzāk tā, nevis citādi nosaka kaut kas cits.
VIII. Ar mūžību es saprotu pašu eksistēšanu, ciktāl tā tiek apjēgta tikai kā nepieciešami izrietošs rezultāts no kādas mūžīgas lietas definīcijas.
Patiešām tādu eksistēšanu, tāpat arī lietas būtību, var izprast kā mūžīgu patiesību.

Aksiomas. I. Viss, kas eksistē, eksistē vainu sevis, vai kaut kā cita dēļ.
II. Tam, ko nevar apjēgt ar cita starpniecību, jābūt apjēgtam pašam par sevi.
V. Lietas, kurām citai ar citu nav nekā kopīga, nevar arī tikt izprastas viena ar otras strapniecību, citādi sakot, - vienas lietas apjēgums neietver sevī citas lietas apjēgumu.
VII. Būtība visam tam, ko var iedomāties kā neeksistējošu, neietver sevī eksistēšanu.
…