Aksiomatski sustav

Izvor: Wikipedija
Jump to navigation Jump to search

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