Diskussion:Fixpunktsatz von Lawvere