Exact logic and The simplest mathematics3/4. 1980