景観
数学攻略wikiの景勝地の中では一番揉め事が多いといわれている$^{[要出典]}$．
伽藍
| 講堂 | キャッチフレーズ | 滞在時間の目安 |
| Semantics と Syntax | 解釈する？しない？ | 30分 |
| オブジェクトレベルとメタレベル | 違うんだなこれが | 30分 |
| 命題論理 | 命題の真偽は問うが中身は気にしなーい | |
| 述語論理 | 命題の中身も問います | |
| 完全性定理 | たどりつけます論理式 | |
| 不完全性定理 | たどりつけない数学の論理式がある | |
| 自然演繹 | 推論規則！ゼロ公理！ | |
| ヒルベルト流体系 | 少しの推論規則と沢山の公理！ | |
| ゲンツェン流シーケント計算 | ひとつの公理と沢山の推論規則！ |
少し真面目な案内
（要編集）