Формальна система, неінтерпретоване числення, клас виразів (формул) якого задається зазвичай індуктивно – за допомогою завдання вихідних («елементарних», або «атомарних») формул і правил утворення (побудови) формул, а підклас доказових формул (теорем) – за допомогою завдання системи аксіом і правил виведення (перетворення) теорем з аксіом і вже доведених теорем. Термін «Ф. с.» має багаточисельні синоніми (інколи, втім, цими термінами позначають родинні, але не співпадаючі поняття): формальна теорія, формальна математика, формалізм, формальне числення, абстрактне числення, синтаксична система, аксіоматична система, логістична система, формалізована мова, формальна логіка, кодіфікат, дедуктивна система і ін.
