Up | 「形式不易の原理」 |
すなわち,「数は量の抽象」の立場では,数の和・積を量の和・積の抽象ということにして,量計算を説明しなければならない。 自然数・個数のときは,<数える>が使えて,説明の格好をなんとかつくれた。 しかし自然数・個数より先に進むと,「数の和・積を量の和・積の抽象ということにして,量計算を説明する」はできない。 そこでどんな手を使うことにしたかというと,「形式不易の原理」である:
しかし「形式不易の原理」なるものは,数学では演繹によって導かれるべき命題である。 実体法則 (公理) のように導入されるものではない。 そして,「数は量の比」がこの演繹の中で使われる。 ( ![]() |