>>292
抽象化や一般化は数学にとっては強力な手段ですが、決して
本質ではないと思います。
それと数学用語としての「有限の立場」と、情報科学
と数学の間に横たわる有限観（無限観）は、また違いますので。
スレ主旨から脱線してきたのでここまでとしましょう。