But object oriented programming is closer to "axiomatic" mathematics than it appeared in the first place.
Mathematics before the 20th century
object oriented programming...
... allows to implement abstract structures in an "axiomatic" way.
object oriented programming