 Even though Polish mereology is now only of historical interest, the word "mereology" endures as the name of a collection of first order theories relating parts to their respective wholes.These theories, unlike set theory, can be proved sound and complete.Nearly all work that has appeared since 1970 under the heading of mereology descends from the 1940 calculus of individuals of Henry Leonard and Nelson Goodman.