bn:01713857n
Noun Concept
JA
直接証明
EN
A way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually axioms, existing lemmas and theorems, without making any further assumptions. Open English WordNet
Relations
Sources
Wikidata