Hacker News new | ask | show | jobs
by deltasepsilon 955 days ago
I believe the parent was referring to Girard's paradox [1], but it's been a while and I'm not a specialist in this area.

[1] https://en.wikipedia.org/wiki/System_U#Girard's_paradox