例えばZFC集合論では真のクラスという数学的対象をコード化できない。仮に真のクラスである集合全体の集合をある集合Vにコード化できるとすると集合 {x∈V|¬x∈x} を構成でき矛盾を示せてしまう。