Posts Tagged ‘axiomatic systems’

Goodstein’s unprovable theorem

Posted by: Dave Richeson on August 16, 2010