Priskribo de ĉio, kion ni povas pruvi