De facto
De facto dalam bahasa Latin adalah ungkapan yang berarti "pada kenyataannya (fakta)" atau "pada praktiknya". Dalam hukum dan pemerintahan, istilah ini mengacu praktik yang sudah terjadi, meski hal tersebut tidak diakui secara resmi di mata hukum.
0,999...
Jika ("x") dan ("y") adalah dua barisan Cauchy, keduanya didefinisikan sebagai bilangan real yang sama jika barisan ("x" − "y") mempunyai limit 0. Pemenggalan bilangan desimal "b"."b""b""b"… menghasilkan sebuah barisan bilangan rasional Cauchy; ini digunakan untuk mendefinisikan nilai real dari bilangan. Sehingga dalam formalisme ini, tugas kita adalah menunjukkan bahwa barisan bilangan rasional