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,...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Hamkins, J, Kikuchi, M
Định dạng: Journal article
Được phát hành: Uniwersytet Mikołaja Kopernika w Toruniu 2016

Những quyển sách tương tự