巨大数探索スレッド13

[0442 １３２人目の素数さん 2018/03/26(月) 23:53:13.24 ID:mhpZXbRa]

>>441
しかし、
「計算可能なら定義可能」が真でかつ
「ペンテーション配列が計算可能」が真なら当然
「ペンテーション配列は定義可能」となるよね？