User blog comment:Ubersketch/Uncomputable function/@comment-32697988-20190618174548/@comment-30004975-20190618181752

If I had to guess:

1. Tx is true and can be used to prove other stuff (even if this causes severe inconsistency)

2. Yes

3. An FSA with infinitely many states