For the sake of simplicity of exposition and reading, we will deal in this chapter with the symbol of belonging, the symbol of consequence and the "such that" as if they were quantifiers and connectives of propositions in classical logic