>>970
定義というのは定理の中で生じた概念を規定している
形式上
定義
定理
とあるが
先に在るのは定理である
それなので定理の中で定義を使うことは間違いである

これに反するのは定義厨(コンピュータ屋)である
そいつらは先に定義しないと動かないから何でも先に定義をする
関数に出鱈目に値を入れることが常であり
ε-δ論法においてもεを選ぶと言っている
これは工学の便宜的手法であって
数学ではない

また定理を証明するために概念を定義し
その定義で定理を示したというのは
1960年以降のゴミ数学による