Metadata
Author: Literature
Data
Hungarian[hu]
Az elsőrendű logika ezenkívül tényeket közölhet az univerzum néhány vagy összes objektumáról.
Russian[ru]
Логика первого порядка позволяет также выражать факты о некоторых или обо всех объектах во Вселенной.