ɲʲˌɛrɔsstʃɨɡˈalnɨ w zˌɛtˌɛftsˈɛ, trˌadɨtsˈɨjnɛj ˌaksjɔmatˈɨtʃnɛj tɛˈɔrji zbjˈɔruf, s ktˌurɛj vˌɨprɔvadʑˈɔna mˈɔʒɛ bˈɨtɕ prˈavʲɛ tsˈawa fspuwtʃˈɛsna mˌatɛmˈatɨkˌa,
nierozstrzygalny w ZFC, tradycyjnej aksjomatycznej teorii zbiorów, z której wyprowadzona może być prawie cała współczesna matematyka,