En las matemáticas y la lógica, el " de la frase; hay " de uno y solamente uno; se utiliza para indicar que existe exactamente un objeto con cierta característica. En la lógica matemática, esta clase de la cuantificación se conoce como la cuantificación de la unicidad del o cuantificación existencial única .

La cuantificación de la unicidad se denota con el " del símbolo; ¡∃! ". ¡Por ejemplo, el $formal\; del\; de\; la\; declaración\; \backslash \; existe!\; n\; \backslash \; en\; \backslash \; mathbb\; \{\}\; \backslash ,\; de\; N\; (n\; -\; 2\; =\; 4)$ puede ser leído en voz alta como " hay exactamente un n del número natural tales que el n - 2 = 4".

Reducción a la cuantificación existencial y universal ordinaria

Generalizaciones

Una generalización de la cuantificación de la unicidad es que cuenta la cuantificación . Esto incluye ambo la cuantificación del " de la forma; los objetos del k existen exactamente tales que… " así como " muchos objetos existen infinitamente tales que… " y " solamente finito muchos objeto existen tales que… ". El primer de estas formas es expresable usar cuantificadores ordinarios, pero los 3ultimos dos no se pueden expresar en la lógica de primer orden ordinario.