theory

set of sentences in a formal language

หมวดหมู่: