Interesting! I think nowadays, the common way I've heard the latter type of truth described is "axiomatic", but that's probably because it's one of those words

Interesting! I think nowadays, the common way I've heard the latter type of truth described is "axiomatic", but that's probably because it's one of those words that math/CS professors seem to love, and people in tech (like me) might have picked it up from them.