Some propositions — such as mathematical truths too complicated for any finite mind to grasp — have ...