FOM: consistency-complete

Fred Johnson johnsonf at lamar.ColoState.EDU
Wed Feb 4 13:27:41 EST 1998


Suppose S1 has exactly two sentences, A and B, and exactly
one axiom, A.  Is S1 consistency-complete? No.  
Suppose S2 has exactly two sentences, A and not-A, and exactly
one axiom, A.  Is S2 consistency-complete? Yes.
Fred Johnson



More information about the FOM mailing list