Posts

Showing posts with the label Omega-Rule

The Completeness of PA with the $\omega$-rule