“For I hold that it is only when we can prove everything we assert that we understand perfectly the thing under consideration.”