У [[логика|формалној логици]], '''формални систем''' (такође '''логички систем'''<ref name="CDP">-{[[Роберт Ауди|Audi, Robert]] (Editor). ''The Cambridge Dictionary of Philosophy''. Second edition, Cambridge University Press. {{page|year=1999|idisbn=ISBN 978-0-521-63136-5|pages=}}. (hardcover) and. ISBN 978-0-521-63722-0. (paperback).}-</ref>, '''логички рачун'''<ref>-{[[Рудолф Карнап|Rudolf Carnap]]. ''Introduction to Symbolic Logic and its Applications'',Dover. 1958. pp. 101.}-</ref> или просто '''логика'''<ref name="CDP" />) се састоји од [[формални језик|формалног језика]] и скупа [[правило извођења|правила извођења]] и(ли) [[аксиома]]. Ове компоненте могу да се називају [[дедуктивни систем|дедуктивним системом]] или ''дедуктивним апаратом''. Формални систем се користи за извођење (закључивање) једног израза из једног или више претпостављених (аксиома) или изведених ([[теорема]]) израза. Формални систем може бити формулисан и проучаван због својих унутрашњих својстава, или може бити намењен опису (то јест [[модел (логика)|моделовању]]) спољашњих феномена.
