Ask a New Question
Questions and answers by
Löb
Answers (1)
That is not the correct use of my theorem