無矛盾とは - わかりやすく解説 Weblio辞書

索引トップ用語の索引ランキングカテゴリー

無矛盾

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/18 15:00 UTC 版)

数学基礎論において、無矛盾性 (英: consistency) は公理系の最も重要な概念の一つである。

ある理論 $T$ において、次のような論理式 $φ$ が存在するとき、理論 $T$ は矛盾する (inconsistent) といい、このような $φ$ が存在しないとき、 $T$ は無矛盾である (consistent) という:^[1]

T\vdash \phi

索引トップ用語の索引ランキング

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの無矛盾 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
TANAKA Corpus	Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います： Creative Commons Attribution (CC-BY) 2.0 France.
京大-NICT 日英中基本文データ	この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
	Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
	Copyright © Benesse Holdings, Inc. All rights reserved.
	Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
	日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. 「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
	This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.