A function that answers whether a given statement belongs to a specific language or set, used here to model proof checking.