رياضيات, منطق رياضي, نظرية المجموعات, نظرية رامزي

مبرهنة هالبرن-لاوشلي (Halpern–Läuchli theorem)