[JohnQPasserby]

I agree with the statement about OOP, but fail to understand what one can proove when one has no axioms.