Ladrière explains the predicament as follows: If set theory is exemplifiable, then it is exemplifiable in a denumerable domain.
Antonyms