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)
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=3592"