次が基本概念：
- 色々なレベルのコンテキスト
- ステージ（リーズニングの状態）
- フォーカス（リーズニング中に注目している判断または問題）
- ターゲット（判断または問題の項と型）
コンテキストには：
- ライブラリ（知識ベース）のコンテキスト
- ステージのコンテキスト
- フォーカスのコンテキスト
組織化に関して、一般論とLeanでは：
| 一般 | Lean |
|---|---|
| ライブラリ | ライブラリ／パッケージ |
| ステージ | モジュール／セクション |
| フォーカス | 関数・定理定義／let文 |
次が基本概念：
コンテキストには：
組織化に関して、一般論とLeanでは：
| 一般 | Lean |
|---|---|
| ライブラリ | ライブラリ／パッケージ |
| ステージ | モジュール／セクション |
| フォーカス | 関数・定理定義／let文 |