\(i\)を階数、\(P:\mathcal {U}(i)\)を型とする。\(P\)が命題である場合、「\(P\)の要素がある」の代わりに「\(P\)は真である」という言い方をする。