Mathematical proof without squirelly infinities: the mission advances. Posted on May 29, 2016 by jgordon Link. Constraining Gödelian undecidability?
