Richard_Kennaway comments on The Self-Reference Trap in Mathematics