> A valódi, ipari felhasználásban matematikai helyességbizonyítást nem használunk. Nyilvánvaló, hogy sok esetben nem indokolt / nem kifizetődő a bizonyítás. De ettől függetlenül ha a programtervezés elméletéről van szó akkor nem gondolnám tévútnak.