And both formal / mathematical logic and the mathematics on which it is based have changed enormously in the last 200 ( and especially the last 100 ) years , taking * radical * departures from " classical logic . "