2 ms·Problem with 1st-order PRA is that it is too weak to serve as foundation of mathematics.by ProfHewitt 5y agoProblem with 1st-order PRA is that it is too weak to serve as foundation of mathematics.