Text this: Set-Theoretical Semantics for Elementary Mathematical Language.