Sistema Axiomático

 

Un sistema axiomático, SF, es una tripleta <L, Ax, Rt> , en donde:

L: un cálculo.

Ax: un conjunto inicial de fbf de L, denominadas axiomas, a partir de las cuales pueden formarse otras fbf; y

Rt: un conjunto de reglas de transformación mediante las cuales puede establecerse fbf a partir de otras fbf.