(4)は、クラスもまたメタクラスのインスタンス化であるという再帰構成を示唆している。