Proved incompleteness theorems showing no complete, consistent formal system exists for arithmetic.
Veritasium
