The Truth and Nothing but the Truth, but Not the Whole Truth

A lot of our notions of truth are actually maybe probabilistic statements or not really things that fall into that binary. They've got some truth to it. We have, I think, a very extreme version of truth because we can prove things that will then be true for all time. And that really leaves no doubt. But even for pure mathematicians, the notion of what truth is is kind of funky.