無矛盾性
意味
- 女性名詞 無矛盾性
例文
Die Widerspruchsfreiheit des Axiomensystems wurde überprüft.
公理系の無矛盾性が検証された。
コアイメージ
互いに両立しない主張が、同じ体系の中で同時に成り立たない状態
ドイツ語での定義
Die Eigenschaft eines logischen oder mathematischen Systems, in dem sich keine widersprüchlichen Aussagen herleiten lassen.
語源
Widerspruchsfreiheitは、WiderspruchとFreiheitから成り、矛盾がない状態を表す。
コラム
- 論理学では、Widerspruchsfreiheitは命題が真だと保証する性質ではなく、矛盾を導けない性質を指す。
おすすめの単語帳
1 / 1