Q2762418

From Wikidata
Jump to: navigation, search

formal proof (Q2762418) [edit]

establishment of a theorem using inference from the axioms [edit]

Also known as:
  • derivation
  • justification
  • proof
[edit]

Statements

[edit]
[edit]
[edit]
[edit]
[edit]
[edit]