Norm subsets van predicatenlogica met een efficiënt en sluitend bewijssysteem