Solovay条件を満たす文たちを構成する