병리학
병리학 (病理學, )은 질병의 본질적 성질을 연구하는 의학의 한 분야로서, 특히 병을 일으킨 신체의 조직이나 기관의 기질적 변화 및 기능적 변화를 연구하는 학문이다. 일반적으로 알려지기로는 세포, 조직, 장기의 표본을 육안이나 현미경 등을 이용하여 검사해, 그것들이 질병에 침범되었을 때에 어떤 변화를 나타나는지에 대하여 연구하는 학문이다.(인체)병리학은 인간을 대상으로 하기 때문에 정상 구조에 대한 지식이 있어야 하므로 해부학 및 조직학과 밀접한 관련이 있다. 병원에서 병리의사는 병리학적인 지식을 바탕으로 임상의사들에게 병을 알려주는 역할을 하게 된다. 즉 병리학적 진단을 내려준다. 따라서 종종 의학분야에서 병리학은 기초의학과 임상의학의 중간자라고도 일컬어진다.
의학에 있어 임상의사에게 채취된 인체의 표본으로 병리검사를 시행하여 정확한 진단에 이르게 하여 환자의 치료방향을 결정하는데 근거를 제공한다. 또한 질병의 병기와 표현형을 분류하여 환자의 질병에 대한 예후인자를 밝히고 치료방법 결정에 영향을 준다.
법의학은 병리학에 기반을 두고 있다.
집합론
공리적 집합론은 술어논리를 이용하여 기술한 체계를 가지고 집합의 성질을 규명하는 수학의 한 분야이다.
단항 술어기호 'formula_1'과 양항 술어기호인 포함관계 기호 'formula_2'모두를 포함하거나 오로지 포함관계 기호만을 포함한 일차 술어논리 언어를 가지고 집합론을 구성할 수 있다.
일반적으로 대상 formula_3가 formula_4를 만족하면 formula_3를 집합이라 한다.
이 술어기호가 없는 집합론에서는 모든 대상을 집합으로 간주한다. 집합이 없는 대상을 원자(아톰, atom)이라 한다.
만일 formula_6이면 'formula_3가 formula_8의 원소다' 혹은 'formula_8가 formula_3를 포함한다((원소로) 가진다)'고 한다. 이는 기호로 표현한 것을 설명한다기보다는 자연어로 옮기는 방법을 서술한 것에 가깝다.