User:IssaRice/Computability and logic/Property table of theories of arithmetic: Difference between revisions
(Created page with "{| ! Theory !! Finitely axiomatized? !! Recursively axiomatized? !! Negation-complete? !! Sound? !! Consistent? |- | Baby Arithmetic |- | True Arithmetic |- | Peano Arithmetic...") |
(No difference)
|
Revision as of 20:24, 13 September 2023
| Theory | Finitely axiomatized? | Recursively axiomatized? | Negation-complete? | Sound? | Consistent? |
|---|---|---|---|---|---|
| Baby Arithmetic | |||||
| True Arithmetic | |||||
| Peano Arithmetic | |||||
| Robinson Arithmetic |