första afdelning framdrog han endast logiska bewis för wisfa , i föregående föreläsning omnämnda satser.