「Widerspruchsfreiheit」のコアイメージコアイメージ
互いに両立しない主張が、同じ体系の中で同時に成り立たない状態
「Widerspruchsfreiheit」のドイツ語での定義ドイツ語での定義
Die Eigenschaft eines logischen oder mathematischen Systems, in dem sich keine widersprüchlichen Aussagen herleiten lassen.
「Widerspruchsfreiheit」の語源語源
Widerspruchsfreiheitは、WiderspruchとFreiheitから成り、矛盾がない状態を表す。
「Widerspruchsfreiheit」のコラムコラム
- 論理学では、Widerspruchsfreiheitは命題が真だと保証する性質ではなく、矛盾を導けない性質を指す。