• はいりぐち【入り口】

  《「はいりくち」とも》はいるための所。いりぐち。

• はいりほう【背理法】

  ある判断を否定し、それと矛盾をなす判断を真とすれば、それから不条理な結論が導き出されることを明らかにすることによって、原判断が真であることを示す証明法。帰謬 (きびゅう) 法。間接還元法。間接証明。→直接証明

出典：デジタル大辞泉（小学館）

goo辞書とは

goo辞書は無料で使える辞書・辞典の検索サービスです。1999年にポータルサイト初の辞書サービスとして提供を開始しました。出版社による信頼性の高い語学辞典（国語辞書、英和辞書、和英辞書、類語辞書、四字熟語、漢字など）と多種多様な専門用語集を配信しています。すべての辞書をまとめて検索する「横断検索」と特定の辞書を検索する「個別検索」が可能です。国語辞書ではニュース記事や青空文庫での言葉の使用例が確認でき、使い方が分からない時に便利です。