Re: [isabelle] Proving consistency
Am 19.08.2010 16:50, schrieb John Munroe:
What is the theorem for proving that A is consistent? On paper, I'd
like to show that I can't prove False from A, but how can that be done
In this case simply proving that there exists an instance of A.
If you could prove False from A and there exists an instance of A then
you would have proven False in Isabelle.
And thereby proving that Isabelle is inconsistent.
Of which you have to believe that it isn't the case if you want to
prove anything with it. ;)
This archive was generated by a fusion of
Pipermail (Mailman edition) and