Совсем небольшой нюанс. Но вообще ООП развивается из процедурного программирования, которое императивное и собственно мутации никак не ограничивает. Как и ООП в принципе.
Эмпирическое доказательство можно рассматривать как доказательство, поскольку других нет. Но это не значит что оно верное.