WHEN mathematicians, logicians, and other exact thinkers think and reason, they think and reason about something. What is that something? And wherein consists the infinite variety which it presents? Is it a mere assemblage of detached subjects of entirely different natures? Or is it an harmonious whole, admitting of a definition and treatment which, though perfectly general, will yet preserve the essential characteristics of its component parts?