A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.
No takes yet. Share an insight, caveat, or question.
Patrick Grim (1984) studied this question.