If you looked at my appeal for A-to-Z topics for the letter G, when I posted it a couple weeks back, you maybe looked over a bunch of essays I quite liked. I still do; G has been a pretty good letter for me. So one of the archive pieces I’d like to bring back to attention is Grammar, from the Leap Day 2016 A-to-Z. It’s about how we study how to make mathematical systems. That you can form theorems about the mechanism for forming theorems is a wild discovery, and the subject can be hard to understand. At least some of its basic principles are accessible, I hope.

And if you’d like me to discuss more topics in mathematical logic, or other fields of mathematics that start with J, K, or L, please leave a comment at this link. Thank you.

### Like this:

Like Loading...

*Related*

## Author: Joseph Nebus

I was born 198 years to the day after Johnny Appleseed. The differences between us do not end there. He/him.
View all posts by Joseph Nebus