Pietruszczak, A. “Classical Mereology Is Not Elementarily Axiomatizable”. Logic and Logical Philosophy, vol. 24, no. 4, Aug. 2015, pp. 485-98, doi:10.12775/LLP.2015.017.