Форма'льная систе'ма, неинтерпретированное исчисление , класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Ф. с.» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, формализованный язык , формальная логика , кодификат, дедуктивная система и др.
Канал с обзорами, анонсами новинок и книжными подборками
Бот для удобного поиска книг (если не нашлось на сайте)
Свежие любовные романы в удобных форматах
О психологии, саморазвитии и личностном росте
Детективы и триллеры, все новинки
Фантастика и фэнтези, все новинки
Отборные классические книги
Библиотека с любовными романами, которая наверняка придётся по вкусу женской части аудитории
Библиотека с фантастикой и фэнтези, а также смежных жанров
Самые популярные книги в формате фб2