10849 | Baby arithmetic covers addition and multiplication, but no general facts about numbers [Smith,P] |
Full Idea: Baby Arithmetic 'knows' the addition of particular numbers and multiplication, but can't express general facts about numbers, because it lacks quantification. It has a constant '0', a function 'S', and functions '+' and 'x', and identity and negation. | |
From: Peter Smith (Intro to Gödel's Theorems [2007], 08.1) |
10850 | Baby Arithmetic is complete, but not very expressive [Smith,P] |
Full Idea: Baby Arithmetic is negation complete, so it can prove every claim (or its negation) that it can express, but it is expressively extremely impoverished. | |
From: Peter Smith (Intro to Gödel's Theorems [2007], 08.3) |