自然数 0 が存在する。 任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。 0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。 異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b)…

Web.config の appSettings セクションをもとにクラスを生成してくれる T4 テンプレート SwissKnife.T4.AppSettings がよさげなので、これが WebMatrix 3 も使えないかなぁ、といろいろ試してみた。 Web.config から AppSettings クラスを生成する T4 を NuG…