Ah, lovely! You just arrived <i>exactly</i> where I was trying to get.<p>&gt; I&#x27;m saying the <i>meaning</i> behind statements are different.<p>Yes, exactly! And, just like a single C program can have two different meanings under two different implementations, the same axiomatic system can have two different meanings when deducing its consequences (proving theorems) using different rules of inference.