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