定理とそれに対する直感
ある
公理系
から得られる
定理
を
直感
的に理解できるかどうかは、その
導出
の正しさとは別の問題だと思う
lemonadern.icon
定理(公理も？)には2種類
直感できるもの
この場合、定理を使う側にとって、定理の導出は直感への
権威付け
でしかない
直感できないもの
道具として扱えるためには、定理の導出で正しいことを確かめ、
知識
として知っておくしかない