#logical contradiction #paradox #self-reference #foundations of logic #russells paradox #liar paradox related #propositional logic