自然数の集合 "a" がformula_11であるとは、それをformula_11論理式で定義できることを意味し、すなわち、formula_11論理式formula_3を使って、自然数 "n" についてformula_15が成り立つときのみ、その自然数が "a" に含まれる。