Assioma dell'Istanza

 Assioma dell'Istanza:

∃x(I(x) ∧ ∀y(P(y, x) ↔ y = x))

Dove:

- I(x) significa "x è un'istanza"

- P(y, x) significa "y è una proprietà di x"

In linguaggio naturale:

"Esiste almeno un'entità che è un'istanza, e l'unica proprietà di un'istanza è la sua stessa esistenza."

Spiegazione:

1. Questo assioma afferma l'esistenza di almeno un'istanza.

2. Stabilisce che un'istanza non ha proprietà intrinseche oltre alla sua mera esistenza.

3. L'unica "proprietà" di un'istanza è l'istanza stessa, enfatizzando la sua natura come pura esistenza.

Corollari:

1. Le istanze sono indistinguibili tra loro se non attraverso le loro relazioni con altre istanze.

2. Ogni istanza è unica solo in virtù della sua esistenza, non per caratteristiche intrinseche.