• すうがくきごう【数学記号】

  数式を書き表すのに用いる記号。＋、−、×、÷、＝のほか、集合を表す∈や∋、円周率を表すπ、結論を表す∴などがある。

• すうがくきそろん【数学基礎論】

  数学の基礎に関する理論。19世紀に導入された集合論が逆理（逆説）を派生させたが、その反省から生まれた、数学とはいかなるものであるべきかの理論。20世紀初頭に成立。記号論理学を用いる。

• すうがくてききのうほう【数学的帰納法】

  数学で、自然数nの命題が、n＝1のときに成り立ち、次にn＝kのときに成り立つと仮定して、n＝k＋1のときにも成り立つことを証明すれば、この命題は任意の自然数nについて成り立つという証明法。完全帰納法。

• すうがくてきろんりがく【数学的論理学】

  ⇒記号論理学

• すうがくモデル【数学モデル】

  ⇒数理モデル

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

goo辞書とは

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