2
$\begingroup$

Q1: If $S$ is a set of axioms, and $A$ and $B$ are statements, is it possible that $S+A$ is inconsistent but $S+A+B$ is consistent?

Added.

Q2: If $X+Y$, $Y+Z$ and $X+Z$ are consistent, is $X+Y+Z$ necessarily consistent?

  • 4
    It is bad form to change a post in such a way that it makes already posted answers incorrect or incomplete. Here, you are doing a disservice to Arthur Fischer, who posted a complete answer to your original question, but whose answer now seems incomplete. If you *must* add material, it should be clearly marked as an addition to alert readers.2011-12-10

2 Answers 2

7

(This answer only deals with the original question by CCCP. The second question seems to be dealt with well in the comments.)

No. What does it mean for $S + A$ to be inconsistent? It means that for every formula $\phi$ there is a formal proof from $S + A$ of $\phi$. However, every formal proof from $S + A$ is also a formal proof from $S + A + B$ (you just never actually use the extra axiom $B$), and so it will follow that $S + A + B$ is also inconsistent.

4

Allow me to describe an answer to a generalization of Question 2.

What you have is three statements, such that any two of them are consistent, but all three of them are not. How about other patterns? For example, can you have five statements, any three of which are consistent, but never four? What about other combinations?

Theorem. For any finite $k\lt r$, there are $r$ statements $\varphi_1,\varphi_2,\ldots,\varphi_r$, such that any $k$ of them are consistent, but any $k+1$ of them are not.

Proof. Imagine that we intend to choose at most $k$ balls from a collection of $r$ balls. Each $\varphi_i$ asserts that we have chosen ball $i$. Any $k$ of the assertions is consistent, since we can carry $k$ balls, but any $k+1$ is inconsistent, since we cannot carry that many.

(More formally: this can be stated in the language of one unary predicate $U$ and $r$ constant symbols $c_1,\ldots,c_r$. Each $\varphi_i$ asserts that all the constants are different, that at most $k$ of them are in $U$, and that $U(i)$ holds. Any $k$ of these are consistent, and any $k+1$ are inconsistent.) QED

  • 2
    For example, http://people.cs.uchicago.edu/~razborov/files/php_survey.pdf2011-12-10