metamathematics

「metamathematics」のレベル別の例文

• 中学

  He studies metamathematics at university.

  彼は大学で数学基礎論を学んでいます。

• 高校・英検2級

  Metamathematics examines what formal proofs can establish.

  数学基礎論は、形式的な証明で何を示せるかを調べます。

• TOEIC・ビジネス

  The report applies metamathematics to verify the system's logical consistency.

  その報告書は、システムの論理的一貫性を検証するために数学基礎論を応用しています。

• 日常会話

  Why are you interested in metamathematics?

  どうして数学基礎論に興味があるの？

「metamathematics」のよく使う型

• study metamathematics数学基礎論を学ぶ

  Researchers study metamathematics to compare formal systems.

  研究者たちは形式体系を比較するために数学基礎論を研究します。

• the metamathematics of AAの数学基礎論

  The metamathematics of arithmetic is highly developed.

  算術の数学基礎論は大きく発展しています。

• work in metamathematics数学基礎論の分野で研究する、仕事をする

  Her work in metamathematics focuses on formal theories.

  彼女は数学基礎論の分野で形式理論を研究しています。

「metamathematics」とよく一緒に使う語

• metamathematics of arithmetic算術の数学基礎論
• metamathematics of set theory集合論の数学基礎論
• a result in metamathematics数学基礎論における成果
• a method from metamathematics数学基礎論の方法

「metamathematics」のよくある間違い

• ✕ a metamathematics

  ○ metamathematics

  学問分野を表すときは通常、不可算名詞として使います。

• ✕ metamathematics means advanced mathematics.

  ○ Metamathematics studies mathematical systems themselves.

  通常の高度な数学ではなく、数学の理論や証明体系そのものを研究する分野です。

「 metamathematics」の英英 英英

The branch of study that examines the foundations, consistency, and limitations of formal mathematical systems, including proof theory and computability.

「metamathematics」のよくある質問