統辞論と意味論の規則
命題論理（第三章）
述語論理（第四章）
タイプ理論（第五章第三節）
内包タイプ論理