Using programs or proofs of bounded lengths, it is possible to construct an analogue of the Berry expression in a formal mathematical language, as has been done by Gregory Chaitin.
Mit Programmen oder Beweisen einer gewissen Länge ist es möglich, eine Entsprechung des Berry-Ausdrucks in einer formal-mathematischen Sprache zu formulieren, wie geschehen durch Gregory Chaitin.