BabelNet

Search

bn:01143330n

Noun Concept

JA

形式理論公理系

EN

Any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. Open English WordNet

Relations

Sources

IS A

HAS PART

PART OF

HAS KIND

意思決定モデル

Kripke–Platek set theory with urelements

公理的集合論

HAS INSTANCE

ユークリッド幾何学

Tarski's axioms

ペアノの公理

クラトフスキー閉包作用素

字形的数論

DIFFERENT FROM

axiomatic method

FIELD OF WORK

HAS PARTS OF THE CLASS

HAS QUALITY

PRODUCT OR MATERIAL PRODUCED

USED BY

Wikidata

JA

形式理論

Wikidata Alias

JA

公理系