Hacker News new | ask | show | jobs
by ProfHewitt 1830 days ago
Problem with 1st-order PRA is that it is too weak to serve as

foundation of mathematics.