Axioma humeano
Toda representación que refiere de manera determinada a otras dos representaciones proviene del entendimiento
∀r(∃r1∃r2((r → r1) ∧ (r → r2) ∧ ¬(r1 → r2) ∧ ¬(r2 → r1)) ⇒ (r ∈ E))
Toda representación que refiere de manera determinada a otras dos representaciones proviene del entendimiento
∀r(∃r1∃r2((r → r1) ∧ (r → r2) ∧ ¬(r1 → r2) ∧ ¬(r2 → r1)) ⇒ (r ∈ E))