>>575

＞この場合の「らしい」は定理がその名前で呼ばれていることに関する話で、
定理の証明が厳密かどうかとは関係ないが。


それはわかっているのですが、その定理の証明は厳密なんですか？
結局、自明の理なるものに根拠をおいて証明の形をとっているだけでは
ないのですか？