Wie übersetzt man "deductive system" von Englischen ins Deutsche?
A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.
Quelle: Wikipedia-Artikel zu "deductive system"
- Deduction: Ableitung, Folgerung, ... (leo)
- System: System