


The smallest non-trivial model of the object-theoretic principles used in (and needed for the terms used in) the proof of the Lewis Principle:
– 2 possible worlds
– 4 properties
– 4 propositions
– 16 abstract objects
Ref.: Prof. Zalta’s Lecture Note (Stanford University)