00000nz  a2200000n  4500
001  KSH1998008933
005  19980429130413
008  980429 n azknn|abn          |a a|a    | 
150  ▼a공리(수학)[公理]▲
450  ▼wr▼i영어▼aaxiom▲
550  ▼wg▼a수학 기초론[數學基礎論]▲
550  ▼wh▼a결합의 공리[結合--公理]▲
550  ▼wh▼a순서의 공리[順序--公理]▲
550  ▼wh▼a평행선의 공리[平行線--公理]▲
550  ▼wh▼a합동의 공리[合同--公理]▲
550  ▼wh▼a확장 공리▲
550  ▼a거짓▲
550  ▼a공리 의미론[公理意味論]▲
550  ▼a공리 주의(수학)[公理主義]▲
550  ▼a공리계[公理系]▲
550  ▼a공리적 정의[公理的定義]▲
550  ▼a명제(논리학)[命題]▲
550  ▼a참(옳음)[眞]▲
550  ▼a추론[推論]▲
680  ▼i①어떠한 논리적 체계를 구성하기 위해 가장 기본이 되는 몇 가지 명제들을 증명 없이 받아들이기로 하고 사용하는 것. 예를 들면, 유클리드 기하학은 평행선의 공리와 같은 몇 가지 공리에 기초하고 있다. ②어떠한 구조를 정의하기 위해 그 구조의 성질을 나타내는 규칙을 정한 것.▲