çˈilbɛrd dˈɔ̃ʒɨw dɔː ˌuɲʲɛzˌalɛʒɲʲˈɛɲʲa lɔɡʲˈitʃnɨx sɨstˈɛmuf fɔrmˈalnɨx ɔt ix strˈɔnɨ znˌatʃɛɲʲˈɔvɛj, dɔ fɔrmˈalnɛj pˌɔpravnˈɔɕtɕi mˌatɛmatˈɨtʃnɛj.
Hilbert dążył do uniezależnienia logicznych systemów formalnych od ich strony znaczeniowej, do formalnej poprawności matematycznej.