es: Limite di una funzione. ε-δ definition. | Set-builder_notation.
dipende dal contesto, da chi legge. es: Simboli per comprendere.
es2: how do we know that the numbers involved are integers? How do we even know they're numbers?
We don't, unless the "universe of discourse'' is specified.
The universe of discourse determines what kinds of values, variables and expressions may take.
In this case, the universe of discourse is implicitly assumed to be integers. In some texts, it's explicitly specified; in others, it must be inferred from context.
es3: To be clear and context-insensitive, one could specify the range of every variable each time.
cioe' essere alfabetizzato, letterato, in prosa matematica: consapevolezza e comprensione del metalinguaggio nel quale sono scritte le proposizioni, congetture, teoremi, ecc...
ref: Logica delle proposizioni, logica dei predicati.
equazioni. Sono le piu' comuni. E' una proposizione su una o piu' indeterminate, che puo' essere vera o falsa a seconda del valore assegnato.
In generale ogni relazione:
disequazione, appartenenza, inclusione tra insiemi, ecc ...
Mathematical prose VS symbolic forms