2024-01-23 集合の共通部分 9項 新井敏康『(基幹講座数学)集合・論理と位相』 東京図書 2016 とする.このときととの共通部分とは である. の証明 1 (1) 前提 1 (2) 1. ∀-除去 i.e. しかし,空集合の性質はであるから,ととに共通の元は無い(共通性は無い). 1 (3) 2. 1 (4) 3. ∀-導入