For consistent sets of formulas "maximal" is equivalent to "contains φ or ¬φ for every formula φ". For consistent theories "maximal" is ...
確定! 回上一頁