Disambiguation evidence for Löwenheim–Skolem theorem (via additional arguments) via surface form
"Löwenheim–Skolem theorem (via additional arguments)"
Triples (1)
Triples where some other subject referred to this entity
as "Löwenheim–Skolem theorem (via additional arguments)".
completeness theorem for first-order logic
→
implies
→
"Löwenheim–Skolem theorem (via additional arguments)"
ⓘ
↳ resolves to Löwenheim–Skolem theorem (via additional arguments)