Template:Individual-TLP-paragraph-fr-5.5321
5.5321 Au lieu de « (x) : fx ⊃ x = a », nous écrivons donc par exemple « (∃x) . fx . ⊃ . fa : ~(∃x,y) . fx . fy ».
Et la proposition : « Il y a seulement un x qui satisfait f( ) » se formule : « (∃x) . fx : ~(∃x,y) . fx . fy ».