These rules were proved by Kurt Gödel in 1930 to be enough to produce every theorem.
أثبت كورت غودل في عام 1930 أن هذه القواعد كافية لإنتاج أية مبرهنة.