定義(デフィニティオ)
公理(アクシオマ)
定理(プロポジティオ)
系(コロラリウム)