Ramseyova věta

[Remziova, podle britského matematika F. P. Ramseye, *1903 – †1930], věta umožňující eliminaci teoretických termínů. Je vyjádřena jako konjunktivní spojení axiómů a korespondenčních pravidel nějaké teorie Z, přičemž všechny teoretické pojmy jsou nahrazeny odpovídajícími proměnnými, jež jsou pak vázány existenčními kvantifikátory. Ramseyova věta teorie T, jež je s ní ekvivalentní, má stejné observační důsledky a navíc odhaluje ontologické závazky jazyka, v němž je tato teorie formulována.