b'\n_START_ARTICLE_\nMetateor\xc3\xada\n_START_PARAGRAPH_\nUna metateor\xc3\xada es una teor\xc3\xada que se dedica al estudio de otra teor\xc3\xada o conjunto de teor\xc3\xadas. En sentido general podr\xc3\xada ser llamada teor\xc3\xada de las teor\xc3\xadas. Si A es una teor\xc3\xada de B y B es en s\xc3\xad misma una teor\xc3\xada, entonces A es una metateor\xc3\xada. Sin embargo, una teor\xc3\xada general no puede ser una metateor\xc3\xada desde que no se dedica en particular a una o a un conjunto de teor\xc3\xadas._NEWLINE_De acuerdo al sistema TOGA,\xe2\x80\x8b una metateor\xc3\xada puede referirse a un punto de vista espec\xc3\xadfico de una teor\xc3\xada y las meta-propiedades de sus materias, pero no a la aplicaci\xc3\xb3n de dicha teor\xc3\xada.\n_START_SECTION_\nUn ejemplo de metateor\xc3\xada\n_START_PARAGRAPH_\nEl siguiente es un ejemplo que ilustra las propiedades de una metateor\xc3\xada seg\xc3\xban Stephen Hawking en su Una breve historia del tiempo:_NEWLINE_Cualquier teor\xc3\xada f\xc3\xadsica es siempre provisional en el sentido en que esta es tan s\xc3\xb3lo una hip\xc3\xb3tesis; usted nunca puede probarla. No importa cuantas veces los resultados de un experimento est\xc3\xa1n de acuerdo con alguna teor\xc3\xada, usted no puede estar seguro de que la pr\xc3\xb3xima vez el resultado no va a ser contradictorio a la teor\xc3\xada. Por otro lado, usted puede desaprobar una teor\xc3\xada al encontrar tan solo una mera observaci\xc3\xb3n que no est\xc3\xa9 de acuerdo con la predicci\xc3\xb3n de la teor\xc3\xada._NEWLINE_La metateor\xc3\xada pertenece a la filosof\xc3\xada y en especial a la epistemolog\xc3\xada y a la matem\xc3\xa1tica, as\xc3\xad como es objeto de estudio del \xc3\xa1rea en la cual la teor\xc3\xada en estudio es objeto de la misma.\n_START_SECTION_\nTaxonom\xc3\xada\n_START_PARAGRAPH_\nUno de los campos m\xc3\xa1s comunes de la metateor\xc3\xada es la clasificaci\xc3\xb3n de teor\xc3\xadas en el campo de la taxonom\xc3\xada de teor\xc3\xadas. Una prueba aportada por una metateor\xc3\xada es denominada como metateorema.\n_START_SECTION_\nHistoria\n_START_PARAGRAPH_\nEl concepto se remonta a la escena de la filosof\xc3\xada del siglo XX como resultado de los trabajos del matem\xc3\xa1tico alem\xc3\xa1n David Hilbert que public\xc3\xb3 en 1905 una propuesta de la consistencia de las matem\xc3\xa1ticas creando un campo al que denomin\xc3\xb3 "Metamatem\xc3\xa1ticas". Las esperanzas del \xc3\xa9xito de sus pruebas fueron cortadas por los trabajos de Kurt G\xc3\xb6del quien en 1931 prob\xc3\xb3 las conclusiones de Hilbert no atendibles en su obra "inconsistencia de los teoremas". Sin embargo, los aportes de Hilbert en cuanto a las matem\xc3\xa1ticas, continuar\xc3\xadan teniendo su influencia durante el siglo XX._NEWLINE_El estudio de los metateoremas aument\xc3\xb3 durante el resto del siglo con la aplicaci\xc3\xb3n en otros campos, especialmente en ling\xc3\xbc\xc3\xadstica y su concepto de metalenguaje.'