Tag: internal contradiction v. closed system logic