Posts Tagged ‘Impredicativity’

Consistency of Peano Arithmetic

Posted by: Alexandre Borovik on May 19, 2011