特殊論法って背理法と数学的帰納法しかないの? (48レス)
前次1-
抽出解除 レス栞

33
(1): 01/15(水)18:56:10.00 ID:oouvkka/(1) AAS
「構成された具体的対象が性質Pをみたす」というのは定理

「既存の公理と独立な性質P」は公理

「一般線形群が群である」というのは定理

群の性質は公理
41
(1): 01/16(木)09:28:59.00 ID:Ki849x9Z(2/3) AAS
> ある対象が群であることが群の公理から導かれるわけないじゃん
 ある対象が群であることは群の公理の前提として示された諸条件を満たすことによって
 「群の公理の前提を満たせば群である」という公理から導かれる

 論理わかってるか? ド素人
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.284s*