Set-theoretic mereology
We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable,...
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Journal article |
| Հրապարակվել է: |
Uniwersytet Mikołaja Kopernika w Toruniu
2016
|