__The universal quantifyer__: means ``for all'', ``for every'', ... .__The existence quantifyer__: means ``there exists at least one ...''. The existence quantifyer has an extension, namely , whose meaning is ``there exists exactly one ...''.

root 2002-06-10