The MANIAC

by Benjamín Labatut

Janos, meanwhile, had demonstrated the opposite: if a system was complete—if you could use it to prove every true statement—then it could never be free of contradictions, and so it would remain inconsistent!