The logical structure of modern neoclassical static microeconomic equilibrium theory