KDOC 40: 『数学書の読みかた』

数学書の読みかたは、タイトルの通り数学書の読み方を紹介する本。

メモ。

• 一意性の証明は存在すること+ただ1つ存在することに分けて証明する
• ただ1つ存在することを証明するには、条件を満たすものが2つあるとして、その2つが実は等しいことを証明すればよい
• 全称と存在を区別する
  • 全称はすべてに成り立つ
  • 存在はある場合に成り立つ
• 全称と存在の順番で意味は全く異なる。証明方法も異なる