Konstruksi bilangan real

Dalam matematika, ada beberapa cara mendefinisikan bilangan real, salah satunya adalah membentuknya menjadi suatu medan terurut lengkap yang tidak mengandung setiap medan terurut lengkap yang lebih kecil. Terdapat suatu definisi yang tidak membuktikan bahwa suatu medan terurut lengkap itu ada, dan keberadaan akan bukti tersebut melibatkan konstruksi struktur matematika yang memenuhi definisi.