Gentzen's consistency proof (Q5533794)
Jump to navigation
Jump to search
mathematical logic concept
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gentzen's consistency proof |
mathematical logic concept |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Gentzen's consistency proof
- eswiki Demostración de consistencia de Gentzen
- kowiki 겐첸의 일관성 증명