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