Scientias formal
Un scientia formal es un disciplina theoric cuje objectivo non ha contento empiric, sed que disveloppa e studia systemas formal. Le scientias formal include le logica, le mathematica e le brancas theoric del informatica, le theoria del information e le statistica. Le scientia formal es le contrario del scientia experimental.

Scientias formal