Posts Tagged ‘Inductive reasoning’

Consistency of Peano Arithmetic

Posted by: Alexandre Borovik on May 19, 2011