trivial theory

logical or axiomatic system in which every statement is a theorem

en-GB/ˈtɹɪvɪəl θɪəɹiː/
en-US/ˈtɹɪviəl ˌθiəˌɹi/

Categories:

logical system