bizonyításelmélet betyder på engelska

metamathematics▼noun
[UK: mˌetəmˌaθɪmˈatɪks] [US: mˌeɾəmˌæθɪmˈæɾɪks]