Aksiomatski sustav

Izvor: Wikipedija

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

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