ISBN-13: 9781614517788 / Niemiecki / Twarda / 2015 / 152 str.
In seinem Buch Parts of Classes hat David Lewis eine Reduktion von ZFC auf eine Mereologie zweiter Stufe skizziert. Sein Resultat nimmt in vorliegender Rekonstruktion folgende Form an: ZFC ist in M (der klassischen Mereologie zweiter Stufe) plus "Es gibt eine stark unerreichbare Partition" parametrisiert interpretierbar. Der Beweis benutzt, dass geordnete Paare in M plus "Es gibt eine unendliche Partition" parametrisiert interpretierbar sind.