Pietruszczak, A. Classical Mereology Is Not Elementarily Axiomatizable. LLP 2015, 24, 485-498.