この章の言葉を読む順番
融通のきかない審査官
前提になる言葉を先に、その言葉を使う説明を後に並べました。知っているところは飛ばせます。
1番目から読んでみる → 物語へ戻るLeanの主張を読む
高校
対象・条件・結論を分けて読みます。
公理と証明の検査
証明レベル
定理の証明が、どの基礎的な仮定に依存するかを調べます。
前提になる言葉を先に、その言葉を使う説明を後に並べました。知っているところは飛ばせます。
1番目から読んでみる → 物語へ戻る高校
対象・条件・結論を分けて読みます。
証明レベル
定理の証明が、どの基礎的な仮定に依存するかを調べます。
融通のきかない審査官 · この章の言葉を読む順番
迷ったら、天秤のケーキの話から。ひとまとまりずつで大丈夫。フェルマーの章なら、まず「物語」と「まず、この言葉から」を読もう。
最初からLeanや大学の数学を知っている必要はありません。小さな物語では、使う言葉から説明します。
一般の式より先に、小さな例を見よう。「何を変えて、何を同じに保った?」と考えてみてね。
閉じれば、読んでいた場所に戻れます。このページに合わせて用意したヒントです。
最初の小さな物語から読む →