A formal logical system rests on foundational truths, known as axioms, which are so self-evident they require no proof. It then uses rules of inference to deduce further true assertions.