Besonderhede van voorbeeld: 768541160539884520

Metadata

Author: Literature

Data

German^[de]

Welche Sätze ableitbar sind, hängt von den eingeführten Axiomen und Ableitungsregeln ab.

English^[en]

Which theorems can be derived depends on the axioms and rules of derivation introduced.

History

Your action: