implikacje możliwości autonomicznego formalnego weryfikowania oprogramowania są niemal niewyobrażalnie ogromne