Search
❯
Mar 18, 20261 min read
self-taught ∀ = quantificatore universale, “per ogni” ∃ = esiste, “vi è” A⊆B = A è sottoinsieme di B