Mereology is the theory of the relation of part to whole, and kindred notions. Megethology is the result of adding plural quantification, as advocated by George Boolos in [1] and [2], to the language of mereology. It is so-called because it turns out to have enough expressive power to let us express interesting hypotheses about the size of Reality. It also has the power, as John P. Burgess and A. P. Hazen have shown in [3], to simulate quantification over relations.

It is generally accepted that mathematics reduces to set theory. In my book Parts of Classes, [6], I argued that set theory in turn reduces, with the aid of mereology, to the theory of singleton functions. I also argued (somewhat reluctantly) for a ‘structuralist’ approach to the theory of singleton functions. We need not think we have somehow achieved a primitive grasp of some one special singleton function. Rather, we can take the theory of singleton functions, and hence set theory, and hence mathematics, to consist of generalisations about all singleton functions. We need only assume, to avoid vacuity, that there exists at least one singleton function.

But we need not assume even that. For it now turns out that if the size of Reality is right, there must exist a singleton function. All we need as a foundation for mathematics, apart from the framework of megethology, are some hypotheses about the size of Reality.

(Megethology can have no complete axiom system; and it would serve little purpose to fix upon some one official choice of an incomplete fragment.