Um '''sistema formal''' ou '''sistema lógico''' é, por assim dizer, qualquer [[abstração|sistema de pensamento abstrato]] [[bem definido]], em um modelo [[matemática|matemático]]. Tecnicamente, [[Os Elementos| Os Elementos de Euclides]], com um modelo consistindo de 23 definições e 10 postulados/axiomas publicados em 13 livros de teoremas com provas, é frequentemente considerado o primeiro sistema formal e mostra as características de um sistema formal. A [[implicação]] de um sistema por sua base lógica é o que distingue o sistema formal de outros que podem ter alguma base em um modelo abstrato. Muitas vezes, o sistema formal será a base, ou será identificado por si só, como uma teoria maior ou um campo consistente com o uso da matemática moderna, como a [[teoria dos modelos]].
