Ainutlaatuisuus

Ainutlaatuisuus  on looginen arvio tietyn ehdon täyttävien esineiden välttämättömästä identiteetistä . Kun ainutlaatuisuus täyttyy, objektia, joka täyttää tietyn ehdon, kutsutaan ainutlaatuiseksi. Sellaisenaan ainutlaatuisuus ei tarkoita olemassaoloa .

Matematiikassa ehdon P täyttävän  elementin ainutlaatuisuus ymmärretään

,

missä ∧  on looginen "ja" , →  on implikaatio ja =  on yhtälö . Lauseita , jotka väittävät ainutlaatuisuuden, kutsutaan (o)ainutlaatuisuuslauseiksi .

Joukkoteorian näkökulmasta ainutlaatuisuus on väite, jonka mukaan joukon kardinaliteetti ei ylitä 1 :tä, mistä johtuu nimi.

Usein on olemassa joukko "olemassaoloa ja ainutlaatuisuutta", jota matematiikassa merkitään digraafilla ∃! ( olemassaolon ja ainutlaatuisuuden kvantori ). Joukkoteorian näkökulmasta olemassaolo ja ainutlaatuisuus on väite, että joukon kardinaalisuus on 1. Matematiikan ja muodollisen logiikan ulkopuolella "yksilöllisyydellä" voidaan tarkoittaa kielellisen laiminlyönnin järjestyksessä olemassaoloa ja ainutlaatuisuutta.

Kirjallisuus