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