Метод математической индукции используется для доказательства утверждений, верных для всех натуральных чисел. Он работает по принципу домино. Сначала мы доказываем первое одно или несколько утверждений, то есть базу индукции. Затем мы делаем шаг индукции или переход — доказательство, что если наше утверждение верно для какого-то числа, то для следующего числа оно тоже будет верным. Между двумя натуральными числами никакие другие натуральные числа не прячутся, в отличие от действительных чисел, между которыми можно вместить бесконечность...

При словосочетании «математическая логика» нам представляется что-то очень абстрактное и далёкое от реальной жизни: сложные формулы, теоремы, символы, понятные лишь узкому кругу учёных. На самом же деле, это не что-то запредельное, а мощный инструмент, который мы используем каждый день. Давайте разберёмся, что это такое и как она может сделать нашу жизнь проще, понятнее и эффективнее. Если отбросить строгие академические определения, математическая логика — это, по сути, наука о правильном рассуждении...