These rules were proved by Kurt Gödel in 1930 to be enough to produce every theorem.
Αυτοί οι κανόνες, αποδείχθηκαν από τον Kurt Gödel το 1930 οτι είναι αρκετοί για να παράγουν κάθε θεώρημα.