間接還元法(読み)カンセツカンゲンホウ

関連語 背理法 名詞