— Logiska bewis fotnödwändigheten