theory

set of formula that can be deduced from axioms in some given logic

دسته بندی ها: