Deductive system

A deductive system (= deductive apparatus) is ...


1   Form

A deductive system consists of:

  1. A theory
  2. A set of rules of inference

2   Properties

Godel's incompleteness theorem showed that complex formal system cannot be both consistent and complete.

Perhaps this can be thought off as a grammar with a start symbol of true. Axioms are actually statements that go to true. The issue of proof is coming up with a derivation.