The Liar paradox arises from unrestricted self-reference, not from defining truth in arithmetic per ...