The possible ‘loopholes’ to this conclusion, referred to above, are that our capacity for (mathematical) understanding might be the result of some calculational procedure that is unknowable because of its complication, or not unknowable but not knowably correct, or inaccurate but only approximately correct.
