That is not a correct edit of what I said. At the level of generality I’m talking, “The sky is blue” is a physics statement. A better summary would be “[Math and logic] are both different from the statement that the sky is blue.
Ah, “they” was “modus ponens and 2 + 2 = 4″; completely missed that interpretation, sorry.
Ah, “they” was “modus ponens and 2 + 2 = 4″; completely missed that interpretation, sorry.