the language of formal symbolic logic as opposed to natural languages like english
the language of formal symbolic logic, as opposed to natural languages such as english, japanese, spanish, etc
We can only save one tenth of it