diagonal lemma

Statement in mathematical logic

Categories: