Assioma della Relazione

Assioma della Relazione:

∀n ∈ ℕ⁺, ∀r(R(r) → ∃i₁, ..., iₙ(I(i₁) ∧ ... ∧ I(iₙ) ∧ A(r, i₁, ..., iₙ)))

Dove:

- R(r) significa "r è una relazione"

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

- A(r, i₁, ..., iₙ) significa "r è una relazione applicata alle istanze i₁, ..., iₙ"

- ℕ⁺ rappresenta l'insieme dei numeri naturali positivi

In linguaggio naturale:

"Per ogni numero naturale positivo n, ogni relazione r può essere applicata a n istanze distinte."

Spiegazione:

1. Questo assioma stabilisce che una relazione può raccogliere un insieme di n istanze, dove n può essere qualsiasi numero intero positivo.

2. Non pone limiti superiori al numero di istanze che una relazione può coinvolgere.

3. Permette anche relazioni unarie (con una sola istanza) includendo il caso n = 1.

4. Mantiene la flessibilità della teoria, permettendo relazioni di qualsiasi arità.