第1巻 例題1・3・4 「すべての」と「ある」についての有名な問題. 1976年,北海道大学の入試問題である. 別解とされるいる方が通常の解答であるが,ここでは論理的な関係を基にした解説が最初にされている.