  and we have a contradiction as well. (Notice that for defining the predicate \(R\), we have used an impredicative existential quantification on predicates. It can be shown that the predicative version of Frege’s system is consistent (see Heck 1996 and for further refinements Ferreira 2002).