φx, ψy❘χz, (∃x) ∙ , (x) ∙
Da sich offenbar leicht erklären läßt wie mit diesen Operationen sich Sätze bilden lassen und wie Sätze nicht zu bilden sind so muß sich dies auch irgendwie exakt ausdrücken lassen.