Hacker News new | ask | show | jobs
by Manglano 3110 days ago
Tarski's undefinability theorem.