チャイティンのオメガ→真偽値の生成母関数