24
The Theory T
Corollary
T has a unique countable model
R
R
= the Rado graph
= the random graph
Corollary
The theory Th(T) is complete