Das erste ist die Forderung nach Korrektheit, das zweite die nach Vollständigkeit des formalen Systems;
das ˈeːɾstə ɪst diː fˈɔɾdərˌʊŋ nɑːx kˈɔrɛktˌaɪt, das tsvˈaɪtə diː nɑːx fˈɔlʃtˌɛndɪçkˌaɪt dɛs fˈɔɾmɑːlən zystˈeːms;