Вспомним теорию ошибок:
Теория ошибок
Ошибки так же неисчерпаемы, как и атом.
Аксиома. В любой программе есть ошибки.
Закон пропорциональности. Чем более программа необходима, тем больше в ней ошибок.
Следствие. Ошибок не содержит лишь совершенно ненужная программа.
Фундаментальный закон теории ошибок. На ошибках учатся.
Во-первых, я говорю об ошибках касающихся данной конкретной проблемы.
Во-вторых, представленная "аксиоматика программ и ошибок" является шуточной. И не содержит в себе каких-либо объективных знаний, или научно обоснованной теории.