back to ideas for this text

---

Single Idea 10084

[from 'Intro to Gödel's Theorems' by Peter Smith, in 5. Theory of Logic / K. Features of Logics / 8. Enumerability ]

Full Idea

A finite set of finitely specifiable objects is always effectively enumerable (for example, the prime numbers).

Gist of Idea

A finite set of finitely specifiable objects is always effectively enumerable (e.g. primes)

Source

Peter Smith (Intro to Gödel's Theorems [2007], 02.4)

Book Reference

Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.16

---