> >>Et comme toujours ce sont les exceptions qui confirment la règle > >Actually they don't. The origin of the saying was that the exception doesn't confirm a rule (as that would actually mean the rule is wrong), but rather that it requires the rechecking of the rule to see whether this exception will break it or be the reason to refine it or be listed as beyond the domain of the rule. > >A rule which has exceptions is a grammar rule :).
1. If the system is consistent, it cannot be complete. 2. The consistency of the axioms cannot be proved within the system.
