これじゃいかんというので１９世紀の例の厳密化がおこなわれて
いろいろやっていちばん有名なのがデデキントの切断でしょ
要は「量」の「数」化を定義したかったんだよ