Besonderhede van voorbeeld: -3167188262545802498

English

While this theorem is the work Ramsey is probably best remembered for, he only proved it in passing, as a minor lemma along the way to his true goal in the paper, solving a special case of the decision problem for first-order logic, namely the decidability of what is now called the Bernays–Schönfinkel–Ramsey class of first-order logic, as well as a characterisation of the spectrum of sentences in this fragment of logic.

Dutch

Hoewel Ramsey waarschijnlijk voor dit werk op dit moment het best wordt herinnerd, bewees hij deze stelling terloops, als een klein lemma op weg naar het ware doel van zijn artikel, het oplossen van een speciaal geval van de beslissingsprobleem voor eerste-orde logica.