Exercise 2.6 As we mentioned before, there is only an approximate match between symbolic logic and arguments in the wild ... also necessary that all mathematical expressions be capable of definition ...