Set-Theoretical Semantics for Elementary Mathematical Language.