 One cannot simultaneously accept these two statements, because if we look at (1), the set theory cannot be formalized in the sense of (2). Orayen not only presented this paradox, but also offered two possible solutions. The first appeals to semantics based on the adoption of natural language predicates to interpret formal predicates, i.e. it proposes a new way of interpreting the symbols of quantificational language with a language that is already interpreted. The second solution is inspired by the hierarchies developed in Russell’s theory of types. Orayen’s Paradox produced many responses, among others by W.V.O. Quine, Hilary Putnam, and William  Hart[45], as well as famous logicians of the Latin American community, such as Atocha Aliseda, Agustin Rayo, Eduardo Barrio, Max Freund, Mario  Gómez-Torrente, Sandra Lazzer, Adolfo Garcia de la Sienra and Axel Barceló. The main proposals around this paradox are included in Moretti and Hurtado (2003) and García de la Sienra (2008).