Are the inference rules of propositional calculus tautologies?

[topsquark]

I hope you realize if we say 3+5=7 the whole of mathematics collapses

I think saying Mathematics "collapses" is a bit too strong a statement. After all we don't know everything. Your example is oversimplified but it has often happened that someone has made a statement that has been accepted for centuries only to have it be disproven later on. (Admittedly I don't know of any examples of this in Mathematics...I primarily do Physics.) A false statement obviously needs to be fixed but if we don't know it's false the structure of Mathematics remains.

-Dan

 

[solakis1]

No rules the Universe-PYTHAGORAS 26 centuries ago
God gave us the Nos everything else is human invension- KRONECKER nearly 130 years ago

 

[topsquark]

No rules the Universe-PYTHAGORAS 26 centuries ago
God gave us the Nos everything else is human invension- KRONECKER nearly 130 years ago

Do you have a point?

-Dan

 

[solakis1]

No is ashort writing for Number
Sorry i don't get your question
I simply mentioned famous sayings about Nos