Is Robinson Arithmetic complete in the sense of Gödels completeness theorem? And is Robinson Arithmetic incomplete in the sense of Gödels first incompleteness theorem? If RA is both it would be a good example to explain the different notions of "completeness" used in the two theorems mentioned.
Is Robinson Arithmetic complete and not-complete?
4
$\begingroup$
logic
incompleteness