alt Hacker NewsSure, I just personally like his distinction between a “true” statement like “I am typing right now” and a “tautological” statement like “3+5=8”.
In other words, declarative statements relate to objects in the world, but mathematical statements categorize possible declarative statements and do not relate directly to the world.
If you look from far enough, it becomes "Current world ⊨ I am typing right now" which becomes tautological again.