The differences between these two approaches does not affect what can be proved, but it does affect how statements are written.
The differences between these two approaches does not affect what can be proved. It does affect. Statements are written.