باروخ اسپینوزا
(1632 – 1677)
برابر انگلیک (انگلیسی): Baruch Spinoza


تاربرگ‌های پیموده‌شده در این نشست: ماینونگ‌گروی ⟩ فریدریش نیچه ⟩ Yves Nievergelt ⟩ Modal Axiom Gödel-Löb ⟩ نامگذاری و بایستگی