HTML Microdata document

This HTML5 document contains 130 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
template-en	http://ja.dbpedia.org/resource/Template:
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-wikidata	http://wikidata.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
n10	http://www.britannica.com/eb/article-9034889/
freebase	http://rdf.freebase.com/ns/
n12	http://www.cs.indiana.edu/~port/teach/641/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n7	http://ja.dbpedia.org/resource/Category:
n9	http://ja.wikipedia.org/wiki/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-ja	http://ja.dbpedia.org/resource/
n16	http://www.earlham.edu/~peters/courses/logsys/
prop-en	http://ja.dbpedia.org/property/

Statements

Subject Item: dbpedia-wikidata:Q649732
owl:sameAs: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:Ω-論理
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:インド論理学
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:オブジェクト指向
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:ゲーデルの不完全性定理
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:ゲーデルの完全性定理
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:コルモゴロフ複雑性
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:タルスキの定義不可能性定理
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:チャイティンの定数
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:チューリングマシン
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:データ型
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:パーニニ
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:ヒンドゥー哲学
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:ファジィ論理
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:ブロック図
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:プランカルキュール
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:ラムダ計算
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:ワンのタイル
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:不思議の環
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:人工知能
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:人工知能の歴史
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:公理
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:公理的集合論
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:句構造規則
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:哲学
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:型システム
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:多元宇宙論
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:形式体系
rdfs:label: 形式体系
rdfs:comment: 形式体系（けいしきたいけい、Formal System）は、数学のモデルに基づいた任意の well-defined な抽象思考体系と定義される。エウクレイデスの『原論』は史上初の形式体系とされることが多く、形式体系の特徴をよく表している。その論理的基盤による体系の命題と帰結の関係（論理包含）は、他の抽象モデルを何らかの基盤とする体系から形式体系を区別するものである。形式体系は大きな理論や分野（例えばユークリッド幾何学）の基盤またはそのものとなることが多く、現代数学では証明論やモデル理論などと同義に扱われる。ただし形式体系は必ずしも数学的である必然性はなく、例えばスピノザの『エチカ』はエウクレイデスの『原論』の形式を模倣した哲学（倫理学）書である。形式体系には形式言語があり、その形式言語は基本的な記号（シンボル）で構成される。形式言語の文（式）は公理群を出発点として、所定の構成規則（推論規則）に従って発展する。従って形式体系は基本的な記号群の有限の組み合わせを通して構築された任意個の数式で構成され、その組み合わせは公理群と構成規則群から作り出される。数学における形式体系は以下の要素から構成される: 形式体系が帰納的であるとは、公理群と推論規則群が（文脈によって）帰納的集合または帰納的可算集合である場合を意味する。
owl:sameAs: freebase:m.0239v0
dct:subject: n7:数理論理学 n7:数学に関する記事 n7:論理学 n7:形式体系 n7:形式手法 n7:形式言語
dbo:wikiPageID: 840848
dbo:wikiPageRevisionID: 83144420
dbo:wikiPageWikiLink: dbpedia-ja:真理値 dbpedia-ja:健全性 dbpedia-ja:ダフィット・ヒルベルト dbpedia-ja:自然言語 dbpedia-ja:Well-formed_formula dbpedia-ja:ラムダ計算 dbpedia-ja:アルファベット_(計算機科学) dbpedia-ja:証明論 dbpedia-ja:Well-defined dbpedia-ja:ポール・ディラック dbpedia-ja:推論規則 dbpedia-ja:ゲーデル、エッシャー、バッハ dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:ダグラス・ホフスタッター n7:数学に関する記事 dbpedia-ja:論理包含 dbpedia-ja:帰納的集合 n7:数理論理学 dbpedia-ja:抽象化 dbpedia-ja:形式言語 dbpedia-ja:エウクレイデス dbpedia-ja:決定可能性 dbpedia-ja:形式手法 dbpedia-ja:自由変数と束縛変数 dbpedia-ja:帰納的可算集合 dbpedia-ja:公理型 dbpedia-ja:形式意味論 dbpedia-ja:文法 dbpedia-ja:形式科学 dbpedia-ja:バールーフ・デ・スピノザ dbpedia-ja:超数学 dbpedia-ja:ユークリッド原論 dbpedia-ja:ユークリッド幾何学 dbpedia-ja:意味論_(曖昧さ回避) dbpedia-ja:モデル理論 n7:形式体系 dbpedia-ja:エチカ_(スピノザ) n7:形式手法 dbpedia-ja:数学 dbpedia-ja:統語論 dbpedia-ja:形式主義_(数学) dbpedia-ja:定理 n7:形式言語 n7:論理学 dbpedia-ja:公理 dbpedia-ja:ブラ-ケット記法 dbpedia-ja:プログラム意味論 dbpedia-ja:プログラミング言語 dbpedia-ja:メタ言語
dbo:wikiPageExternalLink: n10:formal-system n12:formal.sys.haug.html n16:machines.htm
prop-en:wikiPageUsesTemplate: template-en:仮リンク template-en:Logic template-en:Main template-en:Reflist template-en:Systems_science template-en:See
dbo:abstract: 形式体系（けいしきたいけい、Formal System）は、数学のモデルに基づいた任意の well-defined な抽象思考体系と定義される。エウクレイデスの『原論』は史上初の形式体系とされることが多く、形式体系の特徴をよく表している。その論理的基盤による体系の命題と帰結の関係（論理包含）は、他の抽象モデルを何らかの基盤とする体系から形式体系を区別するものである。形式体系は大きな理論や分野（例えばユークリッド幾何学）の基盤またはそのものとなることが多く、現代数学では証明論やモデル理論などと同義に扱われる。ただし形式体系は必ずしも数学的である必然性はなく、例えばスピノザの『エチカ』はエウクレイデスの『原論』の形式を模倣した哲学（倫理学）書である。形式体系には形式言語があり、その形式言語は基本的な記号（シンボル）で構成される。形式言語の文（式）は公理群を出発点として、所定の構成規則（推論規則）に従って発展する。従って形式体系は基本的な記号群の有限の組み合わせを通して構築された任意個の数式で構成され、その組み合わせは公理群と構成規則群から作り出される。数学における形式体系は以下の要素から構成される: 1. * 式を構成するのに使われる有限個の記号（アルファベット）。 2. * 文法。すなわち、正しい式を記号から構成するための方法。例えば、論理学で言えば任意の式（記号を適当に並べたもの）が整式かどうかを決定する何らかの手順が存在する。 3. * 公理群または公理スキーマ。各公理は整式でなければならない。 4. * 推論規則群。 5. * 定理群。形式体系が帰納的であるとは、公理群と推論規則群が（文脈によって）帰納的集合または帰納的可算集合である場合を意味する。人によっては「形式主義」と「形式体系」をほぼ同義に扱うが、「形式主義」は数学や論理学以外にも適用される用語である。例えば、ポール・ディラックのブラ-ケット記法は物理学における形式主義である。
dbo:wikiPageLength: 3554
prov:wasDerivedFrom: n9:形式体系?oldid=83144420&ns=0
foaf:isPrimaryTopicOf: n9:形式体系

Subject Item: dbpedia-ja:形式意味論
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:形式手法
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:形式文法
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:形式理論
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:形式科学
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:形式言語
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:形式論理学
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:数学の哲学
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:数学ガール
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:数学基礎論
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:数学的宇宙仮説
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:数式
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:有限集合
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:概念記法
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:構成規則
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:決定可能性
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:理性
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:理論計算機科学
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:第一原理
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:自然演繹
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:計算複雑性理論
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:論理和の導入
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:論理和の消去
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:論理定項
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:論理式_(数学)
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:論理的真理
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:論理積の導入
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:論理積の消去
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: dbpedia-ja:述語論理
dbo:wikiPageWikiLink: dbpedia-ja:形式体系

Subject Item: n9:形式体系
foaf:primaryTopic: dbpedia-ja:形式体系