ツォルンの補題
all theorems of "L". By Zorn's lemma, each "L"-consistent set