特殊論法って背理法と数学的帰納法しかないの？

特殊論法って背理法と数学的帰納法しかないの？ (48ﾚｽ)
上下前次 1-新

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

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

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

群の性質は公理