Besonderhede van voorbeeld: -806859793840356192

French

Metamathematics, introduit par Hilbert en 1922, qui signifie «la théorie de la démonstration" dans le cadre de son programme d'établir la cohérence de l'arithmétique, a été transformé par Tarski lorsqu'il a présenté sémantique méthodes menant à son modèle de développement de la théorie et la combinaison de sa sémantique et syntaxique des relations.

Dutch

Metamathematics, ingevoerd in 1922 door Hilbert zin "proof theorie" als een deel van zijn programma voor het vaststellen van de consistentie van de rekenkunde, werd omgezet door Tarski toen hij geïntroduceerd semantische methoden die leiden tot ontwikkeling van het model zijn theorie met zijn combinatie van syntactische en semantische relaties.