Hacker News new | ask | show | jobs
by DanWaterworth 3322 days ago
You always have to make assumptions in any formal system able to express arithmetic as proved by Gödel.