Die einfachen Beweise, die wir im Laufe dieses Kurses betrachten werden, können in der Regel dadurch geführt werden, dass man die Definition der im Beweis referierten Entitäten "ganz genau liest".