ParentFull threaddeltasepsilon·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_paradoxView on HN