Yeh,there are many article which drive one concept or another .But the most fascinating thing is logics.
Nobody is born whith all in it's mind(not even the mind code that is hash distribution,it's work well as we know) we obtain a sum of knowledge by education,and other tends to be our proper discover,The way in which logic states about sets proofs ,df,theo,corrl,meta's and so one.We look for many model of thinking ,some of them already implemented,other in reasearch phase.Writing about proper transformation is not something wrong,and become obvious that simple ideea has to be presented in
theortical forms,and these theoretical forms should became a standard of prezentation in order to avoid affirmative.That is why we need to build logic theories and present them as should be presented.
Or you can use upper like expresion, doesn't bother important is communication
Write good code in final,mean lot of work in the rest.