Beiblatt zu Kripkes Completeness Theorem