5.5321

Em vez de “(x) : fx ⊃ x = a” escrevemos, por exemplo, “(∃x). fx . ⊃ . fa : ∼(∃x, y). fx . fy”.