>>218
>現在の証明支援系は、ある命題が他の命題たちから
他の命題たちの真正性もリーンによって確認されてるんでしょうか？
だとしてどの程度昔からのものが確認されてるんでしょうか