Sentient ArithmeticandGodel’s Theorems
Three derivation rules are added to first-order
predicate calculus and Godel’s incompleteness
theorems are proved without using
any meta language
K. K. Nambiar
Next slide
Back to first slide
View graphic version