Hypothese nenne ich jeden Satz der nicht
einer definitiven verification fähig ist.