Another recent concern is whether it really is possible to know all truths. Grim (1988) has objected to the possibility of omniscience on the basis of an argument that concludes that there is no set of all truths. The argument (by reductio) that there is no set \(\mathbf{T}\) of all truths goes by way of Cantor’s Theorem. Suppose there were such a set. Then consider its power set, \(\wp(\mathbf{T})\), that is, the set of all subsets of \(\mathbf{T}\). Now take some truth \(t_1\). For each member of \(\wp(\mathbf{T})\), either \(t_1\) is a member of that set or it is not. There will thus corres...