https://9lib.org/document/q2n07pd6-ontologiczny-dowód-gödla-z-ograniczoną-redukcją-modalności.html