Theory of Quantification, Equality, and Functionality

The first step in the development of a theory of quantification will be a suitable expansion of our notation.