formal proof (Q1768)
From MaRDI portal
establishment of a theorem using inference from the axioms
- derivation
- justification
- proof
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | formal proof |
establishment of a theorem using inference from the axioms |
|
Statements
Q2762418
0 references
