第2篇 玩数理逻辑游戏，舞一曲数学华尔兹

数理逻辑又称符号逻辑、理论逻辑，是用数学方法去研究逻辑。数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。

097 长长楼梯台阶数

一条长长的楼梯，若每次跨2阶，最后剩1阶；每次跨3阶，最后剩2阶；每次跨4阶，最后剩3阶；每次跨5阶，最后剩4阶；每次跨6次，最后剩5阶；每次跨7阶，恰好到梯顶。问这条楼梯最少是多少阶？