ðɪs ɪz ɐ kənsˈɜːvətˌɪv ɛkstˈɛnʃən ʌv zˌiːˌɛfsˈiː: ˈɛvɹi pɹˈuːvəbəl stˈeɪtmənt ʌv ðɪs ɛkstˈɛndᵻd θˈiəɹi ðæt kæn biː stˈeɪɾᵻd ɪnðə lˈæŋɡwɪdʒ ʌv zˌiːˌɛfsˈiː ɪz ɔːlɹˌɛdi pɹˈuːvəbəl ɪn zˌiːˌɛfsˈiː .
This is a conservative extension of ZFC: every provable statement of this extended theory that can be stated in the language of ZFC is already provable in ZFC .