This. The only thing I’d add is that there can be no such thing as “ultimate truth” in any system that allows reflection or self-reference. When it comes to logic, though, empirical truth (i.e. facts) is out of the picture - all logic cares about is consistency. That’s why I define “logical truth” to be the same as “logical consistency”.
On another note, Goedel’s Incompleteness Theorems have led me to conclude that there’s no way to know whether what we call “reality” is the “ultimate reality”. In order to know that, we’d have to somehow look outside of reality. But doing that would imply that there’s some other reality outside what we call “reality”. How, then, do we know whether that reality is the “ultimate reality”? Etc., etc.
I think there’s a more succinct way to put this: it’s turtles all the way down.