i'm mostly just adding to your post and point. my only contradiction is that you can have 100% certainty when all of the objects of measure are contained within the logical system you are using, which means they were added at the assumption layer. however, that doesn't help you much because once you try to extract truth out of the logical system, you're inevitably back with imperfection as you cross the boundary between map and territory.
United States