Math 2.0

Mathematical logic and foundations Concept

Uniqueness quantifier

Summary

The uniqueness quantifier ∃!\exists! expresses "there exists exactly one".

Further reading

  1. Web https://en.wikipedia.org/wiki/Uniqueness_quantification, lead section
About this page
Tag0QAJHFGZZJ
URIm2://0QAJHFGZZJ
Aliasesunique-existential-quantifier, uniqueness-quantification
Kindconcept
WritingW1 stated
MSC03B10
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: at least two examples (0 of 2)
  • edge not_instance_of in: at least one non-example (0 of 1)
  • edge specializes both: the more general notions and the special cases (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Definitions