Hacker News new | ask | show | jobs
by VirusNewbie 1530 days ago
ok fair enough. There is no issue with proving arithmetic consistency on a finite number of symbols. Incompleteness entirely relies on the unbounded induction step.