The Language of Mathematics |
There's category theory
And also there's topology
And recursion theory
There's numbers, trigonometry
Logic, model theory
Calculus, set theory
Algebra, geometry
Like structures and their space you see
A measuring philosophy
Applied logic for you and me