So sind die beiden Fragen, ob ein konkreter Kalkül korrekt und/oder vollständig ist und ob es für ein bestimmtes logisches System überhaupt möglich ist, einen korrekten und vollständigen Kalkül anzugeben, zwei besonders wichtige metatheoretische Fragestellungen.
zoː zɪnt diː bˈaɪdən frˈɑːɡən, ˌɔp aɪn kɔŋkɾˈeːtɜ kˈalkyːl kɔrˈɛkt ʊnt ˌoːdɜ fˈɔlʃtˌɛndɪç ɪst ʊnt ˌɔp ɛs fyːɾ aɪn bəʃtˈɪmtəs lˈoːɡɪʃəs zystˈeːm ˌyːbɜhˈaʊpt mˈøːklɪç ɪst, ˌaɪnən kɔrˈɛktən ʊnt fˈɔlʃtˌɛndɪɡən kˈalkyːl ˈantsˌuːɡeːbən, tsvˈaɪ bəzˈɔndɜs vˈɪçtɪɡə mˌeːtatˌeːoːrˈeːtɪʃə frˈɑɡɛʃtˌɛlʊŋən.