Meta-symbolic Language
Exploring the structure, language, assumptions, and limits of mathematics. Why it works the way it does, and how it might work differently.