User:IssaRice/Computability and logic/Property table of theories of arithmetic

From Machinelearning
< User:IssaRice
Revision as of 20:24, 13 September 2023 by IssaRice (talk | contribs) (Created page with "{| ! Theory !! Finitely axiomatized? !! Recursively axiomatized? !! Negation-complete? !! Sound? !! Consistent? |- | Baby Arithmetic |- | True Arithmetic |- | Peano Arithmetic...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Theory Finitely axiomatized? Recursively axiomatized? Negation-complete? Sound? Consistent?
Baby Arithmetic
True Arithmetic
Peano Arithmetic
Robinson Arithmetic
Retrieved from "https://machinelearning.subwiki.org/w/index.php?title=User:IssaRice/Computability_and_logic/Property_table_of_theories_of_arithmetic&oldid=3591"