5.5321

Au lieu de « (x) : fx ⊃ x = a », nous écrivons donc par exemple « (∃x) . fx . ⊃ . fa : ~(∃x,y) . fx . fy ».