完備_Heyting_代數 - .｡oO(さっちゃんですよヾ(〃l