The problem of finding weaker sufficient conditions than those of Hilbert Bernays has been given little real attention in the standard literature perhaps the literature on free logic pays some such attention, but I am ignorant.