bn:00021998n
Noun Concept
Categories: 数学基礎論, 数学に関する記事, 論理記号
JA
無矛盾  無矛盾性  一貫性
JA
原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質 Japanese Open Multilingual WordNet
English:
mathematical logic
Definitions
Relations
Sources
JA
原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質 Japanese Open Multilingual WordNet
数学基礎論において、無矛盾性 は公理系の最も重要な概念の一つである。 Wikipedia
CATEGORY DOMAIN
FACET OF
OPPOSITE OF
SAID TO BE THE SAME AS
Japanese Open Multilingual WordNet
Wikipedia
Wikidata
Wikipedia Redirections