References for Consistency: Consistency and completeness in arithmetic and set theory
Back to articleSee all references for article
References to other articles in the 'Consistency and completeness in arithmetic and set theory' section
Completeness (logic)
Gödel's incompleteness theorems
Independence (mathematical logic)
Peano arithmetic
Presburger arithmetic
Primitive recursive arithmetic
Recursively enumerable
Theory (mathematical logic)
Zermelo–Fraenkel set theory
--
Go to Article
Using English Wikipedia. Change Language?
--
Size: 1.25 KB. 99.48% smaller than original: 241.42 KB 🤮
Fetched: 693 ms. Converted: 429 ms. 🐇
All Wikipedia content is licensed under CC BY-SA 3.0
Response: 20 (Success), text/gemini
| Original URL | gemini://gemi.dev/cgi-bin/wp.cgi/refs?name=Consistency§ion=2 |
|---|---|
| Status Code | 20 (Success) |
| Content-Type | text/gemini; charset=utf-8; lang=en |