The completeness of a predicate-functor logic
first-order logic without individual symbols
scientific article