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 .