Zorn's lemma
all theorems of "L". By Zorn's lemma, each "L"-consistent set