bizonyításelmélet betyr engelsk

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