Posts

Showing posts with the label conservativeness

A Non-Conservation Theorem for Mereology

"There is a set of Fs" implies only logical truths