Diskussion:Kripkes Completeness Theorem (K&L)