Original: The theorems, proven by Kurt GÃ del in 1931, are important both in mathematical logic and in the philosophy of mathematics.
Simplified: The theorems are very important for the philosophy of mathematics.