All this shows that there seems to be a fundamental problem with the formalized version of rationality.
We already have reason to think that there is.
We already have reason to think that there is.