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