Last Updated:2025/11/25
Sentence

論理学者は、その公理スキーマが無限に多くの具体化を許し、それぞれが体系内で異なる定理を生み出すと指摘した。

Quizzes for review

The logician pointed out that the axiom schema allowed infinitely many instantiations, each producing a different theorem in the system.

See correct answer

The logician pointed out that the axiom schema allowed infinitely many instantiations, each producing a different theorem in the system.

音声機能が動作しない場合はこちらをご確認ください

Related words

axiom schema

Noun
Japanese Meaning
公理スキーマとは、形式的な公理体系の言語で記述される定式であり、その中に1つ以上のスキーマ変数が含まれている。これらの変数は、その体系内の任意の項や部分式を表し、場合によっては特定の条件を満たす必要があることもある。
What is this buttons?

論理学者は、その公理スキーマが無限に多くの具体化を許し、それぞれが体系内で異なる定理を生み出すと指摘した。

Related Words

plural

plural

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★