Farazi olarak, sonsuz sayıda ve her biri tamamen rastgele harf dizilerinden oluşan kitapları barındıran sonsuz bir kütüphanede; olası her sonlu metnin bir yerde bulunacağını öne süren felsefi ve matematiksel bir düşünce deneyidir.
Bu teorem doğru kabul edilirse, kişinin tüm kimlik bilgilerini, hayat hikâyesini, bugüne kadar yaptığı konuşmaları ve hatta bu satırları bile harfi harfine içeren bir kitabın da kütüphanede yer aldığı ortaya atılı.
