예방수의학
병의 원리를 밝히기 위하여 병의 상태나 병체의 조직 구조, 기관의 형태 및 기능의 변화 등을 연구하는 기초 의학을 뜻하는 병리학이라는 말에서 알 수 있듯이 수의병리학(Veterinary Pathology)은 동물을 대상으로 한 병리학, 즉 동물에게 발생하는 병에 대한 연구를 진행하는 학문이라고 할 수 있다. 이는 크게 진단병리학(Diagnostic Pathology)과 실험병리학(Experimental Pathology)으로 나눌 수 있다.
집합론
공리적 집합론은 술어논리를 이용하여 기술한 체계를 가지고 집합의 성질을 규명하는 수학의 한 분야이다.
단항 술어기호 'formula_1'과 양항 술어기호인 포함관계 기호 'formula_2'모두를 포함하거나 오로지 포함관계 기호만을 포함한 일차 술어논리 언어를 가지고 집합론을 구성할 수 있다.
일반적으로 대상 formula_3가 formula_4를 만족하면 formula_3를 집합이라 한다.
이 술어기호가 없는 집합론에서는 모든 대상을 집합으로 간주한다. 집합이 없는 대상을 원자(아톰, atom)이라 한다.
만일 formula_6이면 'formula_3가 formula_8의 원소다' 혹은 'formula_8가 formula_3를 포함한다((원소로) 가진다)'고 한다. 이는 기호로 표현한 것을 설명한다기보다는 자연어로 옮기는 방법을 서술한 것에 가깝다.