Original: The theorems are of considerable importance to the philosophy of mathematics .
Simplified: The theorems are very important for the philosophy of mathematics .