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.
Hal
