[過去ログ] 純粋・応用数学 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
970(1): 2020/06/19(金)21:49 ID:kCOxMiM8(3/12) AAS
>>966
定義を使うと何でダメなの?
974(1): 2020/06/19(金)22:09 ID:qXfDhvSl(16/19) AAS
>>970
定義というのは定理の中で生じた概念を規定している
形式上
定義
定理
とあるが
先に在るのは定理である
それなので定理の中で定義を使うことは間違いである
これに反するのは定義厨(コンピュータ屋)である
そいつらは先に定義しないと動かないから何でも先に定義をする
省7
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.245s*