ベート数(beth number)を定義するために、