reflexive
دیسه‌ای
x ≼ x
x ≼ x


تاربرگ‌های پیموده‌شده در این نشست: Edmund Husserl ⟩ Hilary Putnam ⟩ synthetic apriori ⟩ Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic ⟩ René Descartes ⟩ converse of Buridan formula