>>269
>そもそもここまできても“時枝の定理”の主張本体すらcoqに食わせられる形の命題が出てこない

これは、もと弥勒菩薩こともと天皇陛下
スレ主です
同意です

決定番号に確率測度の裏付けなし！
よって、「coqに食わせられる形の命題が出てこない」！