uniqueness quantification (Q2122)

From MaRDI portal
logical quantification stating that a statement holds for exactly one object
  • uniqueness
  • unique existential quantification
  • ∃!
Language Label Description Also known as
default for all languages
No label defined
    English
    uniqueness quantification
    logical quantification stating that a statement holds for exactly one object
    • uniqueness
    • unique existential quantification
    • ∃!

    Statements

    Identifiers

    0 references