User:Rafaelfccg/sandbox

Sistema Axiomático (Axiomatic System)

Na matemática, um sistema axiomático é um conjunto de axiomas do qual alguns ou todos axiomas podem ser usados em conjunção para derivação lógica de teoremas. A matemática teórica consiste de sistemas axiomáticos e todos os teoremas dele derivados.