Kanamori – McAloonova věta - Kanamori–McAloon theorem

v matematická logika, Kanamori – McAloonova věta, kvůli Kanamori & McAloon (1987), uvádí příklad neúplnosti v Peano aritmetika, podobně jako u Paříž – Harringtonova věta Ukázali, že jde o určitý finitistický speciální případ věty^{[který? ]} v Ramseyova teorie kvůli Erdős a Rado není prokázáno v Peano aritmetice.

Viz také

• Paříž – Harringtonova věta
• Goodsteinova věta
• Kruskalova věta o stromu

Reference

• Kanamori, Akihiro; McAloon, Kenneth (1987), „O Gödelově neúplnosti a konečné kombinatorice“, Annals of Pure and Applied Logic, 33 (1): 23–41, doi:10.1016/0168-0072(87)90074-1, ISSN  0168-0072, PAN  0870685

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.