User:IssaRice/Computability and logic/Property table of theories of arithmetic
| Theory | Finitely axiomatized? | Recursively axiomatized? | Negation-complete? | Sound? | Consistent? |
|---|---|---|---|---|---|
| Baby Arithmetic | No | Yes | Yes | ||
| True Arithmetic | No | No | Yes | ||
| Peano Arithmetic | No | Yes | No | ||
| Robinson Arithmetic | Yes | Yes | No |