Hi Bruno:

By the way if some systems are complete and inconsistent will arithmetic be one of them?

As I understand it there are no perfect fundamental theories. So if arithmetic ever becomes complete
then it will be inconsistent. In the foundation system which I believe contains mathematics from the beginning arithmetic is complete so its inconsistent.


Reply via email to