Segundo Jean Ladrière (na imagem) é um conjunto de símbolos, de regras de formação, de axiomas e de regras de derivação. Constitui uma entidade ideal que, sob a forma de teoremas, faz aparecer todas as consequências que, de acordo com determinados critérios (as regras do sistema) decorrem de um corpo de proposições (os axiomas do sistema).