Hilbert's second problem (Q6481266)
From MaRDI portal
one of twenty-three, asking to prove the consistency of arithmetic axioms
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hilbert's second problem |
one of twenty-three, asking to prove the consistency of arithmetic axioms |
