>>18
>全ての定理を公理として採用すれば、それらの定理の証明コストはゼロだよ

これをこのスレに書いて何がしたいんだろう
問題意識を共有していないなら、わざわざ書き込まなければいいんじゃないだろうか