Hacker News new | ask | show | jobs
by saghm 1046 days ago
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.