自然言語の印象・連想に影響されないで、必ず形式的な定義を確認する。 用語・記法には、合理的な根拠も一貫したルールもないので、個別に暗記する。 細部に神経を使う。例えば、空集合や単元集合、空集合／単元集合からの写像、空集合／単元集合への写像な…

命題が出現する文脈として、定理、予想、問題などがあるがハッキリと区別するために： assertion ： 「正しい」という判断を伴った主張。 judgement ： assertion と同じ。 demand ： 「正しい」ことが不明なので、証明の要求。 enquiry ： demandと同じ。問…