>>543　>箱入り無数目の代表の集合は、definableではない！！
>>546　>だから固定することは不可能だと
　箱入り無数目の代表の集合が定義可能集合である必要はない
　存在すれば一意化できる（例えば、自然演繹の∃除去規則）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9