ランダムネスの一般化 (形式体系と計算理論)