Heegaard , 8 . , Den formelle Logik.