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