https://9lib.org/document/zpn15nk7-stosowalność-dowodów-założeniowych-systemach-opartych-klasycznym-rachunku-logicznym.html