 Using doxastic logic, one can express the epistemic counterpart of Gödel's incompleteness theorem of metalogic, as well as Löb's theorem, and other metalogical results in terms of belief.To demonstrate the properties of sets of beliefs, Raymond Smullyan defines the following types of reasoners