On Hilbert-Bernays Provability Conditions - Case Studies of Peano Arithmetic and Robinson Arithmetic
碩士 === 國立中正大學 === 哲學研究所 === 102 === The following are the Hilbert-Bernays provability conditions: 1. For every sentence σ, if ⊢_T σ then ⊢_T Bew_T σ. 2. For every sentence σ, ⊢_T (Bew_T σ → Bew_T Bew_T σ). 3. For every sentence ρ, σ, ⊢_T (Bew_T (ρ → σ) → (Bew_T ρ → Bew_T σ)). If a recursively...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2014
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/df5nvc |