David Hilbert founded metamathematics as a discipline for discussing formal systems.
Давид Хилберт ја основал метаматематиката како дисциплина која има за цел да ги обработува формалните системи.