Математики, можно по простому?⁠⁠

Это формула Гедаля к гипотезе/теореме о неполноте . А есть кто-то, кто может рассказать, что это за формула, как я понял, она не доказуема и , любой , может написать аналогичную?