Pertanyaan sederhana ini sering muncul dari anak-anak: “Berapa bilangan yang paling besar?” Jawabannya ternyata mengejutkan sekaligus indah — bilangan terbesar itu tidak ada. Bukan karena manusia belum menemukannya, melainkan karena matematika sendiri membuktikan bahwa bilangan seperti itu mustahil ada. Artikel ini menjelaskan alasannya dengan bahasa yang mudah dipahami.
Selalu Ada yang Lebih Besar: Ide Penerus
Kunci jawabannya terletak pada satu sifat dasar bilangan asli: setiap bilangan selalu punya penerus (successor), yaitu bilangan itu ditambah satu. Berapa pun bilangan \(n\) yang kita sebut, kita selalu bisa membentuk bilangan baru yang lebih besar:
Sifat ini berlaku tanpa kecuali. Sebut satu juta, maka ada satu juta satu. Sebut satu triliun, maka ada satu triliun satu. Proses “tambah satu” tidak pernah macet di bilangan mana pun — dan justru di sinilah letak buktinya.
Bukti dengan Kontradiksi
Matematikawan membuktikan pernyataan “tidak ada bilangan terbesar” dengan teknik klasik bernama bukti dengan kontradiksi (reductio ad absurdum). Caranya: kita berandai-andai sebaliknya, lalu menunjukkan bahwa pengandaian itu menabrak logikanya sendiri.
Langkah 1. Andaikan ada bilangan asli terbesar, sebut saja \(M\). Artinya, setiap bilangan asli \(n\) memenuhi \(n \le M\).
Langkah 2. Bentuk bilangan baru \(M + 1\). Karena \(M\) bilangan asli, maka \(M + 1\) juga bilangan asli.
Langkah 3. Padahal jelas bahwa:
Ini bertentangan dengan pengandaian bahwa \(M\) adalah yang terbesar. Karena pengandaian tersebut melahirkan kontradiksi, pengandaian itu pasti salah. Kesimpulan: bilangan asli terbesar tidak ada. Bukti ini singkat, tetapi kekuatannya mutlak — tidak ada celah untuk pengecualian.
Bilangan Raksasa yang Punya Nama
Meskipun bilangan terbesar tidak ada, manusia gemar menamai bilangan-bilangan raksasa. Yang paling terkenal adalah googol, yaitu angka 1 diikuti seratus angka nol:
Sebagai perbandingan, jumlah atom di alam semesta teramati diperkirakan “hanya” sekitar \(10^{80}\) — jauh lebih kecil daripada satu googol. Lalu ada googolplex, yaitu 10 dipangkatkan satu googol:
Bilangan ini begitu besar sehingga menuliskan seluruh digitnya secara fisik mustahil dilakukan, bahkan seandainya seluruh alam semesta dijadikan kertas. Namun ingat: googolplex ditambah satu tetap lebih besar daripada googolplex. Sebesar apa pun bilangan yang kita namai, ia tetap kalah oleh penerusnya sendiri.
Bagaimana dengan Tak Hingga?
Sebagian orang menjawab: “Bilangan terbesar itu tak hingga (\(\infty\)).” Jawaban ini perlu diluruskan. Dalam aritmetika biasa, tak hingga bukanlah bilangan, melainkan konsep yang menggambarkan proses tanpa akhir. Simbol \(\infty\) tidak menaati aturan hitung bilangan biasa; misalnya \(\infty + 1 = \infty\), sesuatu yang mustahil terjadi pada bilangan sungguhan, sebab tidak ada bilangan \(x\) yang memenuhi \(x + 1 = x\).
Justru karena tidak ada bilangan terbesar itulah himpunan bilangan asli \(\mathbb{N} = \{1, 2, 3, \dots\}\) disebut himpunan tak hingga. Ketakhinggaan adalah sifat himpunannya, bukan anggota istimewa di ujung barisan. Barisan bilangan memang tidak punya ujung — itulah maknanya.
Pelajaran Berharga dari Pertanyaan Sederhana
Pertanyaan “berapa bilangan terbesar” mengajarkan tiga hal. Pertama, matematika mampu membuktikan ketiadaan sesuatu secara pasti, bukan sekadar “belum ditemukan”. Kedua, bukti dengan kontradiksi adalah alat berpikir yang ampuh dan dapat dipahami siapa saja. Ketiga, konsep tak hingga lahir bukan dari angan-angan, melainkan dari sifat nyata bilangan yang tak pernah habis. Dari pertanyaan seorang anak, kita sampai pada salah satu gagasan terdalam dalam matematika.
Catatan: Artikel ini bersifat edukatif dan disusun berdasarkan konsep baku dalam teori bilangan dan teori himpunan. Pembahasan tak hingga di sini terbatas pada aritmetika bilangan asli; dalam cabang matematika lanjutan (seperti bilangan kardinal dan ordinal), tak hingga memiliki perlakuan formal tersendiri.