Aksiomatski sustav

Izvor: Wikipedija

Aksiomatski sustav je sustav stavova, čiji su osnovni elementi:

  • aksiomi
  • pravila na osnovi kojih se mogu vršiti transformacije aksioma i deducirati drugi stavovi
  • deducirani stavovi