Sentient arithmetic and gödelʹs theorems

Sentient Arithmetic is defined as an extension of Elementary Arithmetic with three more derivation rules and the Incompleteness Theorems are derived within it without using any metalanguage. It is shown that Consistency cannot be chosen as an axiom