Histoire de la logique <font color=#dcdcdc>2014–2015</font>