[tuxcanfly]

>So instead of having only two options, or a third invisible option, there is only one real option and the demon cannot be wrong or it cannot be right.

This third neither right nor wrong option reminds me of 'Mu' found in eastern philosophy and highlighted in Hofstadter's GEB and it forms another crucial part of self-reference and recursion as mentioned earlier in your comment.