Gödel's incompleteness theorems apply specifically to formal systems meeting precise syntactic crite...